Jehan aa6a1d369c plug-ins: use GtkSettings values to determine whether to use header bar. ...

As we do in other parts of the code.
Also applies the same thing to the console dialog itself.

2019-08-05 16:10:12 +02:00

..

Makefile.am

…

pyconsole.py

…

python-console.py

plug-ins: use GtkSettings values to determine whether to use header bar.

2019-08-05 16:10:12 +02:00