Attachment 874477 Details for Bug 1031540 – Patch for 3.10.1-2.fc20

[patch] Patch for 3.10.1-2.fc20

tweak_group_shell_extensions.py.patch (text/plain), 2.54 KB, created by Petr Kočandrle on 2014-03-14 15:05:01 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Petr Kočandrle

Created: 2014-03-14 15:05:01 UTC

Size: 2.54 KB

patch

obsolete

>*** a/gtweak/tweaks/tweak_group_shell_extensions.py	2013-11-20 23:53:42.000000000 +0100
>--- b/gtweak/tweaks/tweak_group_shell_extensions.py	2014-03-14 15:46:12.952622931 +0100
>***************
>*** 25,34 ****
>      version = '.'.join(version.split('.')[0:3])
>      if version[-1] == '0':
>          #if it is .0, drop that too
>!         return '.'.join(version.split('.')[0:2])
>      else:
>          return version
>  
>  class _ShellExtensionTweak(Gtk.ListBoxRow, Tweak):
>  
>      def __init__(self, shell, ext, **options):
>--- 25,37 ----
>      version = '.'.join(version.split('.')[0:3])
>      if version[-1] == '0':
>          #if it is .0, drop that too
>!         return _get_shell_major_version(version)
>      else:
>          return version
>  
>+ def _get_shell_major_version(version):
>+     return '.'.join(version.split('.')[0:2])
>+ 
>  class _ShellExtensionTweak(Gtk.ListBoxRow, Tweak):
>  
>      def __init__(self, shell, ext, **options):
>***************
>*** 317,330 ****
>              resp = resp['shell_version_map']
>              shell = GnomeShellFactory().get_shell()
>              version = _fix_shell_version_for_ego(shell.version)
>!             try:
>!                 resp = resp[version]
>!                 if int(resp["version"]) > extension["version"]:
>!                     widget.add_update_button(uuid)
>  
>!             except KeyError:
>                  logging.info("e.g.o no updates for %s (shell version %s extension version %s)" % (
>!                              uuid,version,extension["version"]))
>  
>      def _list_header_func(self, row, before, user_data):
>          if before and not row.get_header():
>--- 320,336 ----
>              resp = resp['shell_version_map']
>              shell = GnomeShellFactory().get_shell()
>              version = _fix_shell_version_for_ego(shell.version)
>!             major_version = _get_shell_major_version(shell.version)
>  
>!             if version in resp or major_version in resp:
>!                 resp = resp[version] if version in resp else resp[major_version]
>!                 ext_version = extension["version"] if "version" in extension else 0
>!                 if int(resp["version"]) > ext_version:
>!                     widget.add_update_button(uuid)
>!             else:
>!                 ext_version = extension["version"] if "version" in extension else "unknown"
>                  logging.info("e.g.o no updates for %s (shell version %s extension version %s)" % (
>!                              uuid, version, ext_version))
>  
>      def _list_header_func(self, row, before, user_data):
>          if before and not row.get_header():

Actions: View | Diff

Attachments on bug 1031540: 825436 | 825437 | 874477