genode/repos/gems/src/app/text_area
Norman Feske 9d24e906a8 text_area: fix interplay of shift with selection
Without this patch, the text area would mistakenly delete the characters
types after placing the cursor with the mouse as soon as shift is used
as modifier.
2020-03-09 15:41:29 +01:00
..
child_state.h text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
dialog.cc text_area: fix interplay of shift with selection 2020-03-09 15:41:29 +01:00
dialog.h text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
dynamic_array.h text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
input_event_handler.h text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
main.cc text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
new_file.h text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
nitpicker.h text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
report.h text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
target.mk text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00
types.h text_area: a simple text viewer / editor 2020-02-27 14:46:58 +01:00