Bug 578210 - Toggle Code minining command does show the code minings until I close and re-open the editors
Summary: Toggle Code minining command does show the code minings until I close and re-...
Status: NEW
Alias: None
Product: Platform
Classification: Eclipse Project
Component: Text (show other bugs)
Version: 4.22   Edit
Hardware: PC Windows 10
: P3 normal with 1 vote (vote)
Target Milestone: ---   Edit
Assignee: Platform-Text-Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-01-14 03:14 EST by Lars Vogel CLA
Modified: 2022-03-04 17:39 EST (History)
3 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Lars Vogel CLA 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 CLA 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 CLA 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 CLA 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 ;-) ...