mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[terminal] Fixed indent in settings
GitOrigin-RevId: d34ba16875b244128e980e976a7b6ea8122cbad4
This commit is contained in:
committed by
intellij-monorepo-bot
parent
f3a76023c2
commit
bcead207ce
@@ -424,7 +424,7 @@ internal class TerminalOptionsConfigurable(private val project: Project) : Bound
|
||||
items = TerminalUiSettingsManager.CursorShape.entries,
|
||||
renderer = textListCellRenderer { it?.text },
|
||||
).bindItem(optionsProvider::cursorShape.toNullableProperty())
|
||||
}
|
||||
}.layout(RowLayout.INDEPENDENT)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user