Traceback when activating developer console plugin the second time
Steps to reproduce:
- Start Pitivi
- Press Ctrl+, to open Preferences, go to Plugins section
- Activate the Developer Console (if not already activated), deactivate it, reactivate it, notice traceback:
(pitivi:3): GLib-GObject-WARNING **: 22:41:33.221: ../gobject/gsignal.c:1656: signal "consoleColorChanged" already exists in the 'pitivi+settings+GlobalSettings' class ancestry Traceback (most recent call last): File "/home/aleb/dev/pitivi/pitivi/plugins/console/console.py", line 103, in do_activate default=Console.DEFAULT_COLOR) File "/home/aleb/dev/pitivi/pitivi/pitivi/settings.py", line 353, in addConfigOption ()) RuntimeError: could not create signal
This happens because it tries to add a setting in Pitivi's settings system. Without refactoring the entire settings system, we could simply ignore the
addConfigOption call if the added setting is exactly the same as the one already registered.