+ sandbox.publish('ready');\r
+ },\r
+ getView: function() {\r
+ return view;\r
+ },\r
+ setDocument: function(document) {\r
+ editor.setValue(document);\r
+ editor.gotoLine(0)\r
+ isDirty = false;\r
+ },\r
+ getDocument: function() {\r
+ return editor.getValue();\r
+ },\r
+ isDirty: function() {\r
+ return isDirty;\r
+ },\r
+ setDirty: function(dirty) {\r
+ isDirty = dirty;\r