Merge pull request #8389 from volzhs/inspector-button-margin-master

Make buttons closer in Inspector panel
This commit is contained in:
Andreas Haas 2017-04-14 17:52:18 +02:00 committed by GitHub
commit 065261cceb

View file

@ -4397,6 +4397,7 @@ PropertyEditor::PropertyEditor() {
capitalize_paths = true; capitalize_paths = true;
autoclear = false; autoclear = false;
tree->set_column_titles_visible(false); tree->set_column_titles_visible(false);
tree->add_constant_override("button_margin", 0);
keying = false; keying = false;
read_only = false; read_only = false;