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
This commit is contained in:
Robin Gareus 2019-08-26 16:28:03 +02:00
parent 09a71b4392
commit e286cce399
No known key found for this signature in database
GPG key ID: A090BCE02CF57F04

View file

@ -173,6 +173,7 @@ PluginUIWindow::PluginUIWindow (
if (h > 600) h = 600; if (h > 600) h = 600;
} }
set_border_width (0);
set_default_size (w, h); set_default_size (w, h);
set_resizable (_pluginui->resizable()); set_resizable (_pluginui->resizable());
} }