mirror of
https://github.com/esp8266/Arduino.git
synced 2025-08-09 22:24:14 +03:00
core/lib manager modal is placed above the active editor
This commit is contained in:
@@ -1128,6 +1128,7 @@ public class Base {
|
|||||||
setIndexer(BaseNoGui.librariesIndexer);
|
setIndexer(BaseNoGui.librariesIndexer);
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
managerUI.setLocationRelativeTo(activeEditor);
|
||||||
managerUI.setIndexer(BaseNoGui.librariesIndexer);
|
managerUI.setIndexer(BaseNoGui.librariesIndexer);
|
||||||
managerUI.setVisible(true);
|
managerUI.setVisible(true);
|
||||||
// Manager dialog is modal, waits here until closed
|
// Manager dialog is modal, waits here until closed
|
||||||
@@ -1149,6 +1150,7 @@ public class Base {
|
|||||||
setIndexer(BaseNoGui.indexer);
|
setIndexer(BaseNoGui.indexer);
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
managerUI.setLocationRelativeTo(activeEditor);
|
||||||
managerUI.setIndexer(BaseNoGui.indexer);
|
managerUI.setIndexer(BaseNoGui.indexer);
|
||||||
managerUI.setVisible(true);
|
managerUI.setVisible(true);
|
||||||
// Installer dialog is modal, waits here until closed
|
// Installer dialog is modal, waits here until closed
|
||||||
|
Reference in New Issue
Block a user