Fix input-button disabled state; add support for jquery UI buttons of type ...

Thomas Bruederli

2014-03-09 238c6a0f55daa218c9e6de148164fc85588fd887

Fix input-button disabled state; add support for jquery UI buttons of type 'uibutton'

 program/js/app.js

@@ -6113,7 +6113,10 @@
      // disable/enable input buttons
      if (button.type == 'input') {
        button.status = state;
        obj.disabled = !state;
        obj.disabled = state == 'pas';
      }
      else if (button.type == 'uibutton') {
        $(obj).button('option', 'disabled', state == 'pas');
      }
    }
  };