Is there any possibility to manage or shrink indentation value (in pixels somehow) of expanded elements of drop-down list in such tools, as IntelliJ IDEA and/or DBeaver DB-tool to economize space "eaten" to the left margin (marked by red arrows at the attached screenshot) of branched long tree expansion?
For DBeaver I asked as issue about for its development-team, but got aproximate answer, that "it depends on your OS"
Thank you!
CodePudding user response:
For IntelliJ IDEA:
You can set a custom value for the tree indent as follows:
- In the IDE main menu go to Help | Edit custom properties... (agree to create file if it does not exist).
- Add ide.ui.tree.indent=[value] line there. The smallest value allowed is 0 (and -1 is default).
- Restart IDE.
You might also want to play around with the ide.tree.painter.compact.default=true option which can be added with the same steps.