Allow the textarea used to edit notes for highlights to be resized manually

This commit is contained in:
Kovid Goyal 2021-04-24 08:14:44 +05:30
parent c5fbd12b64
commit b6dcf70103
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -361,7 +361,7 @@ class EditNotesAndColors: # {{{
E.textarea( E.textarea(
current_notes or '', current_notes or '',
placeholder=_('Add notes for this highlight. Double click or long tap on a highlight to read its notes.'), placeholder=_('Add notes for this highlight. Double click or long tap on a highlight to read its notes.'),
rows='10', spellcheck='true', style='resize: none; width: 90%;', rows='10', spellcheck='true', style='width: 90%;',
onkeydown=handle_keypress, onkeydown=handle_keypress,
), ),