make jshint happy

This commit is contained in:
Fabian Jakobs 2011-03-09 09:36:50 +01:00
commit a5bf0bc0be
2 changed files with 9 additions and 8 deletions

View file

@ -113,7 +113,7 @@ var Editor =function(renderer, session) {
this.getKeyboardHandler = function() {
return this.keyBinding.getKeyboardHandler();
}
};
this.setSession = function(session) {
if (this.session == session) return;
@ -910,7 +910,7 @@ var Editor =function(renderer, session) {
this.getCursorPositionScreen = function() {
return this.session.documentToScreenPosition(this.getCursorPosition());
}
};
this.getSelectionRange = function() {
return this.selection.getRange();