fix for bug #515, problem with external editor not updating properly

app/Sketch.java

@@ -1275,6 +1275,9 @@ public class Sketch {
       //handleOpen(sketch);
       //history.lastRecorded = historySaved;
 
+      // set current to null so that the tab gets updated
+      // http://dev.processing.org/bugs/show_bug.cgi?id=515
+      current = null;
       // nuke previous files and settings, just get things loaded
       load();
     }

build/shared/revisions.txt

@@ -26,6 +26,16 @@ Throwing out the baby with the bathwater.
 + At Casey's urging, the "Color Picker" is now called the 
   "Color Selector". 
 
+[ bug fixes ]
+
++ Properly refresh code when using an external editor (regression)
+  http://dev.processing.org/bugs/show_bug.cgi?id=515
+
++ The DXF export library no longer attempts to format its output because 
+  it was causing problems on systems that use , instead of . for their
+  decimal separator character.
+  http://dev.processing.org/bugs/show_bug.cgi?id=495
+
 [ java ] 
 
 + Java 1.5.0_10 is no longer the default download at java.com, 

todo.txt

@@ -14,6 +14,8 @@ X   http://java.sun.com/j2se/1.5.0/docs/guide/javaws/developersguide/launch.html
 X   http://java.sun.com/update/1.4.2/jinstall-1_4_2_09-windows-i586.cab
 X   or the 1.5 versions:
 X   http://java.sun.com/update/1.5.0/jinstall-1_5_0_03-windows-i586.cab
+X PDE does not refresh code when using an External Editor
+X   http://dev.processing.org/bugs/show_bug.cgi?id=515
 
 _ need to add reference for moviemaker