mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
LLM-12228 Stick the popup to the top of the editor
- Doc updated GitOrigin-RevId: 7a17e6f79a5ac8015a50df250d619570c21243de
This commit is contained in:
committed by
intellij-monorepo-bot
parent
a6b54ef5ae
commit
874d716d2a
@@ -5888,7 +5888,7 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
|
||||
Rectangle r = getBounds();
|
||||
for (Component c : components) {
|
||||
if (c instanceof JScrollPane || isCustomLayer(c)) {
|
||||
// Main scroll panel: MyScrollPane
|
||||
// Custom layers or main scroll panel (MyScrollPane) occupy whole area
|
||||
c.setBounds(0, 0, r.width, r.height);
|
||||
}
|
||||
else if (c instanceof EditorFloatingToolbar){
|
||||
|
||||
Reference in New Issue
Block a user