Changeset 5631
- Timestamp:
- 09/26/08 17:05:48 (8 weeks ago)
- Location:
- branches/ProtocolEditor/src
- Files:
-
- 3 modified
-
ui/components/TextImporter.java (modified) (2 diffs)
-
util/VersionControlMethods.java (modified) (1 diff)
-
xmlMVC/XMLModel.java (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
branches/ProtocolEditor/src/ui/components/TextImporter.java
r5555 r5631 27 27 import java.awt.BorderLayout; 28 28 import java.awt.Color; 29 import java.awt.Toolkit; 30 import java.awt.datatransfer.DataFlavor; 31 import java.awt.datatransfer.Transferable; 32 import java.awt.datatransfer.UnsupportedFlavorException; 29 33 import java.awt.event.ActionEvent; 30 34 import java.awt.event.ActionListener; … … 206 210 clearButton.setBackground(null); 207 211 toolbarBox.add(clearButton); 212 213 // Paste button 214 JButton pasteButton = new JButton("Paste Text"); 215 pasteButton.setBorder(tb); 216 pasteButton.setBackground(null); 217 pasteButton.addActionListener(new ActionListener() { 218 public void actionPerformed(ActionEvent e) { 219 Transferable t = Toolkit.getDefaultToolkit(). 220 getSystemClipboard().getContents(null); 221 try { 222 if (t != null && t.isDataFlavorSupported(DataFlavor.stringFlavor)) { 223 String text = (String)t.getTransferData(DataFlavor.stringFlavor); 224 int offset = textArea.getCaretPosition(); 225 textArea.getDocument().insertString(offset, text, null); 226 } 227 } catch (UnsupportedFlavorException ex) { 228 } catch (IOException ex) { 229 } catch (BadLocationException ex) { 230 // TODO Auto-generated catch block 231 ex.printStackTrace(); 232 } 233 } 234 }); 235 toolbarBox.add(pasteButton); 208 236 209 237 toolbarBox.add(new JPanel()); // so to align buttons to left. -
branches/ProtocolEditor/src/util/VersionControlMethods.java
r5515 r5631 68 68 while (fileTokenizer.hasMoreTokens()) { 69 69 70 if (! softwareTokenizer.hasMoreTokens()) 70 if (! softwareTokenizer.hasMoreTokens()) { 71 71 return true; 72 } 73 try { 74 75 int softwareNo = Integer.parseInt(softwareTokenizer.nextToken()); 76 int fileNo = Integer.parseInt(fileTokenizer.nextToken()); 72 77 73 int softwareNo = Integer.parseInt(softwareTokenizer.nextToken()); 74 int fileNo = Integer.parseInt(fileTokenizer.nextToken()); 75 76 if (fileNo > softwareNo) 77 return true; 78 if (fileNo > softwareNo) { 79 return true; 80 } else if (fileNo < softwareNo) { 81 return false; 82 } 83 84 } catch (NumberFormatException ex) { 85 return false; 86 } 78 87 } 79 88 -
branches/ProtocolEditor/src/xmlMVC/XMLModel.java
r5515 r5631 436 436 */ 437 437 String fileVersionNumber = getCurrentTree().getVersionNumber(); 438 if (! VersionControlMethods.isFileVersionFromFuture(fileVersionNumber)) 438 if (! VersionControlMethods.isFileVersionFromFuture(fileVersionNumber)) { 439 439 getCurrentTree().setVersionNumber(ConfigConstants.EDITOR_VERSION_NUMBER); 440 } 440 441 441 442 getRootNode().getDataField().setAttribute(DataFieldConstants.PROTOCOL_FILE_NAME, outputFile.getName(), false);
