Changes between Initial Version and Version 1 of Ticket #13189, comment 2
- Timestamp:
- May 24, 2017, 6:56:50 PM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #13189, comment 2
initial v1 5 5 > So we leave the ENTER key unchanged for now. 6 6 7 It's a trade-off. Sometimes you want to eat the key and stay in suggestion mode, sometimes you want the effect of the key and leave suggestion mode. Unfortunately we can't read the users mind, so we have to rely on rough heuristics and compromises.7 It's a trade-off. Sometimes you want to eat the key and stay in suggestion mode, sometimes you want the effect of the key (a newline) and leave suggestion mode. Unfortunately we can't read the user's mind, so we have to rely on rough heuristics and compromises. 8 8 9 9 Staying in suggestion mode on ENTER would sometimes be convenient, but sometimes it would be extremely irritating. So leave suggestion mode on ENTER is in my opinion the better option.