allow minimum required version for widgets
authorRicardo Mones <ricardo@mones.org>
Thu, 7 Mar 2013 23:14:13 +0000 (00:14 +0100)
committerRicardo Mones <ricardo@mones.org>
Thu, 7 Mar 2013 23:14:13 +0000 (00:14 +0100)
ChangeLog
VERSION
clawsker

index e98de6c7b2e6d2af18481f6d780367b2ca857d22..57ee32edbea63af8690a4e75ad4fd4836d2abc7f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-03-08 00:08  mones   0.7.8git461
+
+       * clawsker
+               Allow minimum required version for widgets
+
 2012-06-27 00:17  mones   0.7.8
 
        * NEWS
diff --git a/VERSION b/VERSION
index e7c7d3cc3c89ada8384d34fee65534801993b979..4eae46c4c063844721567748b20fbe82e5d9062d 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.7.8
+0.7.8git461
index 649bcf13d5aa667f6825a219a5053a91028ee50e..c71a1b7dd3d7fda0d41ae0be7379e51ce9e0ccc9 100755 (executable)
--- a/clawsker
+++ b/clawsker
@@ -384,8 +384,16 @@ sub set_widget_hint() {
 }
 
 sub set_widget_sens() {
-    my ($wdgt, $minver) = @_;
-    $wdgt->set_sensitive (&version_greater_or_equal ($CLAWSV, $minver));
+    my ($wdgt, $versions) = @_;
+    @ver = split(/,/, $versions);
+    if ($#ver == 1) {
+      $wdgt->set_sensitive (
+        &version_greater_or_equal ($CLAWSV, $ver[0])
+        and &version_greater_or_equal ($ver[1], $CLAWSV)
+      );
+    } else {
+        $wdgt->set_sensitive (&version_greater_or_equal ($CLAWSV, $ver[0]));
+    }
 }
 
 # graphic element creation