Johannes Mueller 0c06860ed7 Simplify code of PluginDisplay::update_height_alloc() ...

Partly irrelevant code. A more elaborated resize height allocation behavior
won't be needed before the widget layout in the generic GUI is improved.

2017-08-15 19:13:05 +02:00

4.9 KiB

Raw Blame History

View Raw