mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Inlay hints: change default panel proportion
GitOrigin-RevId: ed7a63bbf18f56e0e5bd32b9cdc998089b79346d
This commit is contained in:
committed by
intellij-monorepo-bot
parent
3673dc47e1
commit
b1196fa8d2
+1
-3
@@ -39,9 +39,7 @@ class InlayHintsConfigurable(val project: Project) : Configurable, Configurable.
|
||||
val panel = JPanel()
|
||||
panel.layout = BoxLayout(panel, BoxLayout.Y_AXIS)
|
||||
panel.border = JBUI.Borders.empty(0, 10, 0, 0)
|
||||
panel.add(Box.Filler(JBUI.size(0, 10),
|
||||
JBUI.size(0, 10),
|
||||
JBUI.size(0, 10)))
|
||||
panel.add(Box.createRigidArea(JBUI.size(0, 10)))
|
||||
for (configurable in configurables) {
|
||||
val label = LinkLabel.create(configurable.language.displayName) {
|
||||
val settings = Settings.KEY.getData(DataManager.getInstance().getDataContext(panel))
|
||||
|
||||
+1
-1
@@ -70,7 +70,7 @@ internal class SingleLanguageInlayHintsSettingsPanel(
|
||||
val top = JPanel()
|
||||
top.layout = GridLayout(1, 2)
|
||||
|
||||
val horizontalSplitter = JBSplitter(false, 0.25f)
|
||||
val horizontalSplitter = JBSplitter(false, 0.35f)
|
||||
top.add(horizontalSplitter)
|
||||
|
||||
val typesListPane = JBScrollPane(providerTypesList)
|
||||
|
||||
Reference in New Issue
Block a user