tools/build_gtk_tree.js
[app.Builder.js] / Options.js
index 1c7d5d7..ff81713 100644 (file)
@@ -122,7 +122,7 @@ Options  = XObject.define(
                     continue;
                 }
             
-                if (typeof(this.result[a.arg_long]) != 'undefined') {
+                if (typeof(this.result[a.arg_long]) != 'undefined' && this.result[a.arg_long] != a.arg_default) {
                     throw {
                         name: "ArgumentError", 
                         message: "Invalid argument duplicate: " + args[i] + ' ' + next
@@ -190,4 +190,4 @@ Options  = XObject.define(
                 
         }
     }
-);
\ No newline at end of file
+);