646 if pluginDetails is None: |
646 if pluginDetails is None: |
647 return PluginRepositoryWidget.PluginStatusLocalUpdate |
647 return PluginRepositoryWidget.PluginStatusLocalUpdate |
648 if version.count(".") >= 3: |
648 if version.count(".") >= 3: |
649 # cope for extended version numbers by ignoring |
649 # cope for extended version numbers by ignoring |
650 # the extension |
650 # the extension |
651 version = ".".join(version.split(".",3)[:3]) |
651 version = ".".join(version.split(".", 3)[:3]) |
652 if pluginDetails["version"] < version: |
652 if pluginDetails["version"] < version: |
653 return PluginRepositoryWidget.PluginStatusLocalUpdate |
653 return PluginRepositoryWidget.PluginStatusLocalUpdate |
654 |
654 |
655 return PluginRepositoryWidget.PluginStatusUpToDate |
655 return PluginRepositoryWidget.PluginStatusUpToDate |
656 else: |
656 else: |