← Back to branch summary

~tapaal-contributor/tapaal/fix-tikz-export-1945642

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/SharedPlaceNamePanel.java

merged in lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098 fixing a problem with disappering tokens when renaming a shared place

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/SharedPlaceNamePanel.java
150
150
                                
151
151
                                try{
152
152
                                        placeToEdit.setName(name);
153
 
                                }catch(RequireException e){
 
153
                }catch(RequireException e){
154
154
                                        JOptionPane.showMessageDialog(SharedPlaceNamePanel.this, "The specified name is invalid.\nAcceptable names are defined by the regular expression:\n[a-zA-Z][_a-zA-Z0-9]* \n\nNote that \"true\" and \"false\" are reserved keywords.", "Error", JOptionPane.ERROR_MESSAGE);
155
155
                                        nameField.requestFocusInWindow();
156
156
                                        return false;