Community
Participate
Working Groups
The super annoying "Combined Hover" popup is really hard to find in the preferences. I suggest adding the search word "Popup" to this preference page.
Noopur, are you OK with adding the word as search term for the preference page?
We already have "hover", "combined" etc. as the search terms. I am also fine with adding "popup" as a new search term for this page.
(In reply to Lars Vogel from comment #0) > The super annoying "Combined Hover" What's annoying with that? I like it. Note that "popup" is not a correct word. Correct is "pop-up". If we add it, it also has to be added to the 'Text Editors' page
(In reply to Dani Megert from comment #3) > (In reply to Lars Vogel from comment #0) > > The super annoying "Combined Hover" > > What's annoying with that? I like it. See Stackoverflow for user opinions which hates it: https://stackoverflow.com/questions/4072835/how-to-disable-annoying-eclipse-tag-descriptions-on-hover http://www.eclipseonetips.com/2010/08/24/configure-tooltips-in-eclipse-to-only-popup-on-request/
(In reply to Dani Megert from comment #3 > Note that "popup" is not a correct word. Correct is "pop-up". In this case it would be useful to add both, so that users which use "popup" (see Stackoverflow posts for the language our users use) still find it.
(In reply to Lars Vogel from comment #4) > (In reply to Dani Megert from comment #3) > > (In reply to Lars Vogel from comment #0) > > > The super annoying "Combined Hover" > > > > What's annoying with that? I like it. > > See Stackoverflow for user opinions which hates it: I asked *you*. > https://stackoverflow.com/questions/4072835/how-to-disable-annoying-eclipse-tag-descriptions-on-hover > > http://www.eclipseonetips.com/2010/08/24/configure-tooltips-in-eclipse-to-only-popup-on-request/ This is more talking about hovers in general and not the combined one. Or did I miss something?
(In reply to Lars Vogel from comment #5) > (In reply to Dani Megert from comment #3 > > Note that "popup" is not a correct word. Correct is "pop-up". > > In this case it would be useful to add both, so that users which use "popup" > (see Stackoverflow posts for the language our users use) still find it. +1 to add both. Lars, would you like to provide a patch? Also, note the following: (In reply to Dani Megert from comment #3) > If we add it, it also has to be added to the 'Text Editors' page
> I asked *you* I hate it for the same reasons.
(In reply to Lars Vogel from comment #8) > > I asked *you* > > I hate it for the same reasons. So, you don't like hovers in the editor? That's the only argument I saw there.
t(In reply to Dani Megert from comment #9) > (In reply to Lars Vogel from comment #8) > > > I asked *you* > > > > I hate it for the same reasons. > > So, you don't like hovers in the editor? That's the only argument I saw > there. Yes, I dislike automatic popups blocking the code I'm looking/working at/on.
(In reply to Noopur Gupta from comment #7) > +1 to add both. Looks to me that currently special signs like "-" in pop-up cannot be used a search term. I open a bug for this. > Lars, would you like to provide a patch? Yes, as special signs are currently not supported, I add "popup" as first step. > (In reply to Dani Megert from comment #3) > > If we add it, it also has to be added to the 'Text Editors' page Looks like this is in eclipse.platform.text.
New Gerrit change created: https://git.eclipse.org/r/112344
New Gerrit change created: https://git.eclipse.org/r/112343
Gerrit change https://git.eclipse.org/r/112344 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=2592611ebda83d3b2388eea8eea8bac3c83babaf
Thanks, Lars. (In reply to Eclipse Genie from comment #13) > New Gerrit change created: https://git.eclipse.org/r/112343 Released with: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=3fbfd3dcd67ff10b21d8a19ebbe92cc0cb5ea951 "pop-up" can be added after bug 527833 is fixed.
Thanks Noopur, that was the fast JDT UI review I ever experience.
(In reply to Lars Vogel from comment #11) > (In reply to Noopur Gupta from comment #7) > > +1 to add both. > > Looks to me that currently special signs like "-" in pop-up cannot be used a > search term. I open a bug for this. This works fine for me.
.
(In reply to Dani Megert from comment #17) > > Looks to me that currently special signs like "-" in pop-up cannot be used a > > search term. I open a bug for this. > > This works fine for me. It doesn't work for me. Adding "pop-up" as a search term doesn't find the page. Anything else needs to be done?
(In reply to Noopur Gupta from comment #19) > (In reply to Dani Megert from comment #17) > > > Looks to me that currently special signs like "-" in pop-up cannot be used a > > > search term. I open a bug for this. > > > > This works fine for me. > It doesn't work for me. Adding "pop-up" as a search term doesn't find the > page. Anything else needs to be done? Very strange. Just tried again in org.eclipse.jdt.ui/plugin.properties: preferenceKeywords.hover=pop-up Java editor ..... and it works just fine for me.
(In reply to Dani Megert from comment #20) > Very strange. Just tried again in org.eclipse.jdt.ui/plugin.properties: > preferenceKeywords.hover=pop-up Java editor ..... > and it works just fine for me. I did add it behind "hover", maybe this makes a difference? Can you push your local change to Gerrit so that I can try it out?
(In reply to Lars Vogel from comment #21) > (In reply to Dani Megert from comment #20) > > Very strange. Just tried again in org.eclipse.jdt.ui/plugin.properties: > > preferenceKeywords.hover=pop-up Java editor ..... > > and it works just fine for me. > > I did add it behind "hover", maybe this makes a difference? > Can you push your local change to Gerrit so that I can try it out? It's faster for both of us to just do it in the code. If the location of the keyword matters, then we have to reopen your bug.
(In reply to Dani Megert from comment #22) > It's faster for both of us to just do it in the code. If the location of the > keyword matters, then we have to reopen your bug. I disagree, you have a working solution, while Noopur and I failed to set it up. Sharing this solution is faster then leaving it to us to guess what else you did.
Tested with "pop-up" at the first word, works for me. Silly, silly, IT. Noopur, do you want a patch for adding it at the beginning or shall we wait for a more general solution in which "-" can be used everywhere?
(In reply to Lars Vogel from comment #24) > Tested with "pop-up" at the first word, works for me. Silly, silly, IT. I wonder how this was programmed :-). > Noopur, do you want a patch for adding it at the beginning or shall we wait > for a more general solution in which "-" can be used everywhere? Please provide a patch and reopen your bug.
(In reply to Lars Vogel from comment #24) > Tested with "pop-up" at the first word, works for me. Silly, silly, IT. > > Noopur, do you want a patch for adding it at the beginning or shall we wait > for a more general solution in which "-" can be used everywhere? Does it work like this for the 'Text Editors' page also? If so, we can release both the fixes by adding it to the beginning now so that users can work with it. Also, we should reopen the Platform Text bug for the general fix.
New Gerrit change created: https://git.eclipse.org/r/112642
Gerrit change https://git.eclipse.org/r/112642 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=19a93bcf739bade998a65a5816c7aa1855cdc950
New Gerrit change created: https://git.eclipse.org/r/112647
(In reply to Noopur Gupta from comment #26) > Does it work like this for the 'Text Editors' page also? Works for me. I uploaded a patch for the text repo, in case you want to try it.
Thanks Dani and Noopur for the reviews.
Gerrit change https://git.eclipse.org/r/112647 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=c321f97bf2ad7e675516ee4b44595dd96bddcd96
