Commit 12855eed1f64f97845be8e64e188326084b57168
1 parent
5449acd8
Exists in
master
Correcting of writing mask file. Pb with UUID generation.
Diffused Version 2.6.11
Showing
2 changed files
with
2 additions
and
2 deletions
Show diff stats
src/osp/ui/OSPE_AboutBoxPanel.java
... | ... | @@ -23,7 +23,7 @@ public class OSPE_AboutBoxPanel extends JDialog { |
23 | 23 | /** Product name */ |
24 | 24 | private String product = "OSP Editor"; |
25 | 25 | /** Current version */ |
26 | - private String version = "version 2.6.9 - June 25th 2019"; | |
26 | + private String version = "version 2.6.11 - June 27th 2019"; | |
27 | 27 | /** Copyright information */ |
28 | 28 | private String copyright = "Copyright (c)"; |
29 | 29 | /** Comments */ | ... | ... |
src/osp/ui/OSPE_VisuPanel.java
... | ... | @@ -473,7 +473,7 @@ public class OSPE_VisuPanel extends JPanel implements Observer, |
473 | 473 | return; |
474 | 474 | } |
475 | 475 | } |
476 | - | |
476 | + currentMask.setM_uuid(); | |
477 | 477 | fileChooser.setDialogTitle("Save Mask Configuration File"); |
478 | 478 | ExampleFileFilter filter = new ExampleFileFilter(); |
479 | 479 | filter.addExtension("xml"); | ... | ... |