IDEA-119859 Double Alt not working (Show tool window bars)
IDEA-120626 UI / Colors & Fonts: "Lens mode" color not adjustable