Community
Participate
Working Groups
I20190813-1800. Currently two different names are used in the UI for the same feature: Menu item and command: Quick Search Dialog title and N&N entry: Quick Text Search ==> Only one must be used consistently
I just checked in the sources, and the dialog seems to be the only place using "Quick Text Search". Everything else uses the label without "Text". Also the longer label with the very long shortcut (Ctrl-Alt-Shift-L) can make the menu item rather wide. Therefore I'd prefer changing the title and new and noteworthy page to the shorter "Quick Search". Agreed? Side note: The command description has wrong capitalization. Will change "...Text..." to "...text...".
(In reply to Michael Keppler from comment #1) > I just checked in the sources, and the dialog seems to be the only place > using "Quick Text Search". Everything else uses the label without "Text". > > Also the longer label with the very long shortcut (Ctrl-Alt-Shift-L) can > make the menu item rather wide. > > Therefore I'd prefer changing the title and new and noteworthy page to the > shorter "Quick Search". Agreed? Yes. > Side note: The command description has wrong capitalization. Will change > "...Text..." to "...text...". +1.
New Gerrit change created: https://git.eclipse.org/r/147773
New Gerrit change created: https://git.eclipse.org/r/147776
Gerrit change https://git.eclipse.org/r/147773 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=e4cd3301424512368c53114fd477bbb3503adc73
Thanks!
Gerrit change https://git.eclipse.org/r/147776 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse/news.git/commit/?id=aa49020430c24c9e48f30ddc1cdf13f0c5bd88d5