Commits

Anonymous committed 617b018

file browser was not setting the project (this also fixes anything
else that opens a file in a different project)

  • Participants
  • Parent commits 3ad2584
  • Tags 0.3.0

Comments (0)

Files changed (1)

File frontend/js/bespin/editor/events.js

             var files = bespin.get('files');
 
             var project  = event.project || editSession.project;
+            
+            // if we're changing projects, make sure the new one is set
+            if (project != editSession.project) {
+                editSession.project = project;
+            }
 
             if (!(event.reload) && editSession.checkSameFile(project, filename)) {
                 if (event.line) {