gui: don't make Polkit a hard dependency

gui/shredder/__init__.py

@@ -8,7 +8,6 @@
 gi.require_version('Gtk', '3.0')
 gi.require_version('Rsvg', '2.0')
 gi.require_version('PangoCairo', '1.0')
-gi.require_version('Polkit', '1.0')
 gi.require_version('GtkSource', '3.0')
 
 # Name of your application:

gui/shredder/views/editor.py

@@ -16,6 +16,8 @@
 import time
 import logging
 
+LOGGER = logging.getLogger('editor')
+
 # External:
 from gi.repository import Gtk
 from gi.repository import GLib
@@ -25,6 +27,7 @@
 try:
     from gi.repository import Polkit
 except ImportError:
+    LOGGER.warning("Warning: failed to import Polkit, root option will not be enabled")
     Polkit = None
 
 # Internal:
@@ -33,9 +36,6 @@
 from shredder.runner import Script
 
 
-LOGGER = logging.getLogger('editor')
-
-
 REMOVED_LABEL = '''<big>{s}</big><small> {n} removed</small>
 <small>Currently {t}</small> <b><big>{p}</big></b>
 '''
@@ -125,7 +125,7 @@ def _set_source_lang(view, lang):
 # Fallback to the normal Gtk.TextView if no GtkSource.View could be imported
 # This is the bare minimum we support. It's neither pretty nor very useful.
 except ImportError:
-
+    LOGGER.warning("Warning: failed to import GtkSource, bare minimum editor only")
     def _create_source_view():
         """Create a suitable text view + buffer for showing a sh script."""
         LOGGER.info('No GtkSourceView found.')