Bug 578210

Summary:	Toggle Code minining command does show the code minings until I close and re-open the editors
Product:	[Eclipse Project] Platform	Reporter:	Lars Vogel <Lars.Vogel>
Component:	Text	Assignee:	Platform-Text-Inbox <platform-text-inbox>
Status:	NEW ---	QA Contact:
Severity:	normal
Priority:	P3	CC:	Dirk.Steinkamp, Lars.Vogel, mistria
Version:	4.22
Target Milestone:	---
Hardware:	PC
OS:	Windows 10
See Also:	https://bugs.eclipse.org/bugs/show_bug.cgi?id=532832
Whiteboard:

Description Lars Vogel

2022-01-14 03:14:02 EST

The command for toggling Code minings is super useful. I love to havve them on while reading code but not while working on code due to Bug 532832.

Unfortunately the toogle code minings only work realiable for hiding the code minings. For enabling them again I have to close and reopen the editors which makes this really annoying.

Can the command be fixed so that once I turn code minings on via it the editor close and reopening is not necessary anymore?

Comment 1 Mickael Istria

2022-01-14 03:24:09 EST

It would then seem more profitable to invest in fixing bug 532832 instead of the current one.

Comment 2 Lars Vogel

2022-01-14 03:34:52 EST

(In reply to Mickael Istria from comment #1)
> It would then seem more profitable to invest in fixing bug 532832 instead of
> the current one.

Both would be useful, turning of the code minings without having to open the editor again is something the user would expect.

Comment 3 Dirk Steinkamp

2022-03-04 17:39:39 EST

I don't find it necessary to reopen the editor, but noticed any input seems to bring up the codeminings. Toggling them off makes them disappear anyhow. So my current workaround is to toggle the code mining, then press any key like space and revert the change with Ctrl-Z ... well, actually autohotkey is doing that for me ;-) ...