mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
The IDE Errors button actually consists of a panel with an icon inside. The entire thing is perceived as a single button by the user, so we make both react to clicks in the same way. GitOrigin-RevId: c4dfeb65e8857138a296cce71b854cbe5a7d80fe