accents and tilde in terminal
Accents and tilde (modifiers of normal characters) can’t be used in
terminal. They are not written after the current prompt but anywhere
else, where the mouse is (and a small further cursor).
System: OS X with Safari and Firefox
(from redmine: issue id 1924, created on 2014-10-16 by fabian.heidemann, closed on 2014-10-17)
- Changesets:
- Revision 1660 by Benjamin Fischer on 2014-10-16T17:45:52Z:
terminal: undo unintercepted moifications to the output area, add emulation for some special keys for buggy browsers & allow utf8 input. fixes #1924 @4h
- Revision 1661 by Benjamin Fischer on 2014-10-16T17:45:52Z:
terminal: undo unintercepted moifications to the output area, add emulation for some special keys for buggy browsers & allow utf8 input. fixes #1924
(transplanted from 9dcfb6d834b9)
- Revision 1660 by Benjamin Fischer on 2014-10-16T17:45:52Z:
terminal: undo unintercepted moifications to the output area, add emulation for some special keys for buggy browsers & allow utf8 input. fixes #1924 @4h
- Revision 1661 by Benjamin Fischer on 2014-10-16T17:45:52Z:
terminal: undo unintercepted moifications to the output area, add emulation for some special keys for buggy browsers & allow utf8 input. fixes #1924
(transplanted from 9dcfb6d834b9)