Changeset 115 for trunk/src/org/expeditee/actions/Simple.java
- Timestamp:
- 07/02/08 12:38:54 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/actions/Simple.java
r108 r115 32 32 import org.expeditee.items.Line; 33 33 import org.expeditee.items.Text; 34 import org.expeditee.items.Item. SelectedMode;34 import org.expeditee.items.Item.HighlightMode; 35 35 import org.expeditee.simple.AboveMaxParametreCountException; 36 36 import org.expeditee.simple.BelowMinParametreCountException; … … 375 375 private static void FlagError(Item item) { 376 376 FrameUtils.DisplayFrame(item.getParent().getName(), true); 377 item.set SelectedMode(SelectedMode.Normal);378 item.set SelectionColor(Color.CYAN);377 item.setHighlightMode(HighlightMode.Normal); 378 item.setHighlightColor(Color.CYAN); 379 379 FrameIO.SaveFrame(item.getParent()); 380 380 } … … 451 451 item.setBackgroundColor(oldColor); 452 452 } else { 453 item.set SelectedMode(Item.SelectedMode.None);453 item.setHighlightMode(Item.HighlightMode.None); 454 454 } 455 455 } … … 500 500 Color oldColor = item.getBackgroundColor(); 501 501 item.setBackgroundColor(_stepColor); 502 item.set SelectedMode(Item.SelectedMode.None);502 item.setHighlightMode(Item.HighlightMode.None); 503 503 504 504 // Make sure we are on the frame with this item … … 519 519 if (_stop) { 520 520 item.setBackgroundColor(oldColor); 521 item.set SelectedMode(SelectedMode.Normal, _stepColor);521 item.setHighlightMode(HighlightMode.Normal, _stepColor); 522 522 throw new Exception("Program terminated"); 523 523 } … … 1920 1920 assertVariableType(tokens[1], 1, SPointer.filePrefix); 1921 1921 1922 StringBu ilder textToWrite = new StringBuilder();1922 StringBuffer textToWrite = new StringBuffer(); 1923 1923 if (tokens.length == 1) { 1924 1924 textToWrite.append(context.getPrimitives().getVariable( … … 1937 1937 1938 1938 if (!tokens[0].equals("writefile")) 1939 textToWrite.append( '\n');1939 textToWrite.append(Text.LINE_SEPARATOR); 1940 1940 context.writeFile(tokens[1], textToWrite.toString()); 1941 1941 } else if (tokens[0].equals("displayframeset")) {
Note:
See TracChangeset
for help on using the changeset viewer.