nemo-media-columns: Make the timeout configurable.

Author: mtwebster

nemo-media-columns/nemo-media-columns-prefs

@@ -0,0 +1,92 @@
+#!/usr/bin/python3
+
+import gi
+gi.require_version('Gtk', '3.0')
+gi.require_version('XApp', '1.0')
+import sys
+
+import gettext
+from gi.repository import Gtk, Gio, XApp, Gdk
+
+# i18n
+import gettext
+gettext.bindtextdomain('nemo-extensions')
+gettext.textdomain('nemo-extensions')
+_ = gettext.gettext
+
+class LabeledItem(Gtk.Box):
+    def __init__(self, label, item):
+        super(LabeledItem, self).__init__(orientation=Gtk.Orientation.HORIZONTAL)
+
+        self.label_widget = Gtk.Label(label=label)
+
+        self.pack_start(self.label_widget, False, False, 6)
+        self.pack_end(item, False, False, 6)
+
+        self.show_all()
+
+class Page(Gtk.Box):
+    def __init__(self):
+        super(Page, self).__init__(orientation=Gtk.Orientation.VERTICAL)
+
+        self.set_spacing(15)
+        self.set_margin_start(15)
+        self.set_margin_end(15)
+        self.set_margin_top(15)
+        self.set_margin_bottom(15)
+
+class NemoMediaColumnsPreferencesWindow(XApp.PreferencesWindow):
+    def __init__(self):
+        super(NemoMediaColumnsPreferencesWindow, self).__init__()
+
+        self.set_icon_name("preferences-system")
+        self.set_title(_("Nemo Media Columns Preferences"))
+        self.set_skip_taskbar_hint(False)
+        self.set_type_hint(Gdk.WindowTypeHint.NORMAL)
+        self.set_default_size(-1, -1)
+
+        self.connect("destroy", Gtk.main_quit)
+
+        self.settings = Gio.Settings(schema_id="org.nemo.extensions.nemo-media-columns")
+
+        page = Page()
+
+        box = Gtk.Box(orientation=Gtk.Orientation.VERTICAL)
+        page.add(box)
+
+        switch = Gtk.Switch()
+        self.settings.bind("use-timeout",
+                           switch, "active",
+                           Gio.SettingsBindFlags.DEFAULT)
+
+        widget = LabeledItem(_("Limit processing time for each file"), switch)
+        box.pack_start(widget, False, False, 6)
+
+        spinner = Gtk.SpinButton.new_with_range(0.1, 10.0, 0.1)
+        spinner.set_digits(1)
+        self.settings.bind("timeout",
+                           spinner, "value",
+                           Gio.SettingsBindFlags.DEFAULT)
+
+        widget = LabeledItem(_("Timeout (in seconds)"), spinner)
+        box.pack_start(widget, False, False, 6)
+
+        self.settings.bind("use-timeout",
+                           widget, "sensitive",
+                           Gio.SettingsBindFlags.DEFAULT)
+
+        self.add_page(page, "main", _("Timeout"))
+
+        self.show_all()
+
+    def quit(self, *args):
+        self.destroy()
+        Gtk.main_quit()
+
+if __name__ == "__main__":
+    import signal
+    signal.signal(signal.SIGINT, signal.SIG_DFL)
+
+    window = NemoMediaColumnsPreferencesWindow()
+
+    Gtk.main()

nemo-media-columns/nemo-media-columns.py

@@ -65,10 +65,25 @@ def __init__(self):
         self.exif_rating = None
         self.pixeldimensions = None
 
+
+
 class ColumnExtension(GObject.GObject, Nemo.ColumnProvider, Nemo.InfoProvider, Nemo.NameAndDescProvider):
     def __init__(self):
         self.ids_by_handle = {}
 
+        self.settings = Gio.Settings(schema_id="org.nemo.extensions.nemo-media-columns")
+        self.load_settings(self.settings)
+        self.settings.connect("changed", self.load_settings)
+
+    def load_settings(self, settings, pspec=None, data=None):
+        use_timeout = self.settings.get_boolean("use-timeout")
+
+        # I don't think we should ever allow it to run forever, regardless
+        # of preference.
+        self.timeout = self.settings.get_double("timeout") if use_timeout else 30.0
+
+        print("nemo-media-columns: using a timeout of %.2f second(s) for file processing" % self.timeout)
+
     def get_columns(self):
         return (
             Nemo.Column(name="NemoPython::title_column",attribute="title",label=_("Title"),description=""),
@@ -127,7 +142,7 @@ def update_cb(self, provider, handle, closure, file):
 
         if uri.startswith("file"):
             try:
-                with stopit.ThreadingTimeout(.1):
+                with stopit.ThreadingTimeout(self.timeout):
                     info = self.get_media_info(uri, mimetype)
             except stopit.utils.TimeoutException:
                 print("nemo-media-columns failed to process '%s' within a reasonable amount of time" % (gfile.get_uri(), e))
@@ -332,4 +347,4 @@ def file_is_one_of_these(mimetype_list):
         return FileExtensionInfo()
 
     def get_name_and_desc(self):
-        return [("Nemo Media Columns:::Provides additional columns for the list view")]
+        return [("Nemo Media Columns:::Provides additional columns for the list view:::nemo-media-columns-prefs")]

nemo-media-columns/org.nemo.extensions.nemo-media-columns.gschema.xml

@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<schemalist>
+    <schema path="/org/nemo/extensions/nemo-media-columns/" 
+        id="org.nemo.extensions.nemo-media-columns">
+
+        <key name="use-timeout" type="b">
+            <default>true</default>
+            <summary>How long to allow the plugin to run for each file before aborting.</summary>
+        </key>
+        <key name="timeout" type="d">
+            <default>0.2</default>
+            <range min="0.1" max="30.0"/>
+            <summary>Time to allow the plugin to process a single file.</summary>
+            <description>The plugin will abort and move to the next file if it takes more than this long (seconds).</description>
+        </key>
+	</schema>
+</schemalist>

nemo-media-columns/setup.py

@@ -27,6 +27,8 @@
     #                     'pil',
     #                     'pymediainfo'],
     data_files   = [
-        ('/usr/share/nemo-python/extensions', ['nemo-media-columns.py'])
+        ('/usr/share/nemo-python/extensions', ['nemo-media-columns.py']),
+        ('/usr/bin',                          ['nemo-media-columns-prefs']),
+        ('/usr/share/glib-2.0/schemas',       ['org.nemo.extensions.nemo-media-columns.gschema.xml'])
     ]
 )