diff options
| author | Robin Gareus <robin@gareus.org> | 2019-08-26 16:28:03 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2019-08-26 16:28:03 +0200 |
| commit | e286cce3991ad650ccdac3bc4c283afe24e4618b (patch) | |
| tree | a5b893b3e8d0ea84c5bc60c3cddec38f85815055 /gtk2_ardour/plugin_ui.cc | |
| parent | 09a71b439285ea0405068d59e633e2939314ee1e (diff) | |
Borderless plugin UIs
This removes a border painted in the host's UI theme color around
any plugin UI.
This results in a much nicer look/feel for plugin-UIs that have their
own theme
Diffstat (limited to 'gtk2_ardour/plugin_ui.cc')
| -rw-r--r-- | gtk2_ardour/plugin_ui.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/plugin_ui.cc b/gtk2_ardour/plugin_ui.cc index d0980b0df6..0524ebb235 100644 --- a/gtk2_ardour/plugin_ui.cc +++ b/gtk2_ardour/plugin_ui.cc @@ -173,6 +173,7 @@ PluginUIWindow::PluginUIWindow ( if (h > 600) h = 600; } + set_border_width (0); set_default_size (w, h); set_resizable (_pluginui->resizable()); } |