For example, if I want to change the style of the border of the selected element, the selection box and the veil are hiding the actual changes.
I would suggest to hide the veil when the Sidebar is hovered by the mouse.
triage, filter on centaur
Priority: -- → P3
Paul, I think you had a patch for this, if it's easy could you post it for trying out the behavior?
(In reply to Heather Arthur [:harth] from comment #4) > Paul, I think you had a patch for this, if it's easy could you post it for > trying out the behavior? No, I don't have anything yet. Bug 724509 introduces an "option" menu where you can hide the veil, but this bug (bug 735575) is about hiding the veil automatically when the user hovers the sidebar.
This bug is now obsolete with the new highlighter.
Status: NEW → RESOLVED
Last Resolved: 5 years ago
Resolution: --- → INVALID
You need to log in before you can comment on or make changes to this bug.