Fix console
This MR includes several fixes for the developer console plugin:
- Refactors the code to use an action instead of a direct callback in the menu
- Catches RuntimeErrors when re-enabling the plugin
- Adds some padding to the text view, so the characters aren't touching the borders
There was a runtime error when disabling and re-enabling the plugin because the signals already existed. The code now catches it but it still puts some warnings in the console:
(pitivi:2): GLib-GObject-WARNING **: 20:05:29.213: ../gobject/gsignal.c:1656: signal "consoleColorChanged" already exists in the 'pitivi+settings+GlobalSettings' class ancestry
I don't know how to fix those, but everything seems to work fine ¯\_(ツ)_/¯
closes #2290 (closed)
Edited by Diego Gangl