Thu, 06 Apr 2017 16:19:33 +0200 8178077: jshell tool: crash on ctrl-up or ctrl-down
jlahoda [Thu, 06 Apr 2017 16:19:33 +0200] rev 44570
8178077: jshell tool: crash on ctrl-up or ctrl-down Summary: Adding a test for EditingHistory. Reviewed-by: rfield
Thu, 06 Apr 2017 11:55:58 +0200 8178013: Finetuning of merged tab and shift tab completion
jlahoda [Thu, 06 Apr 2017 11:55:58 +0200] rev 44569
8178013: Finetuning of merged tab and shift tab completion Summary: Fixing mistakes in localization bundle, fixing completion after /help set. Reviewed-by: rfield
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 +3000 +10000 tip