Fri, 31 Mar 2017 10:46:37 +0200 8177076: jshell tool: usability of completion
jlahoda [Fri, 31 Mar 2017 10:46:37 +0200] rev 44459
8177076: jshell tool: usability of completion Summary: Merging completion and documentation completion, assigning Shift-tab shortcut to fix actions. Reviewed-by: rfield
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 +10000 tip