diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-12-11 07:30:39 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-12-11 07:30:39 +0100 |
| commit | b2a6b64968b9047a62cc503a23f42a796afe6e51 (patch) | |
| tree | 84e701e8ab8619bbc58fc7b3fd5a2a98ac840dc4 /vignettes/gmkin_manual.css | |
| parent | d53d967e9734ef3939966933bda39a7d4ad615cc (diff) | |
Two more GUI inconsistencies
- Respect use_of_ff='min' for models loaded from project files
- Disable configure button after loading a project
Diffstat (limited to 'vignettes/gmkin_manual.css')
0 files changed, 0 insertions, 0 deletions