From b7db72e574c2a1841642bdb9b86c139f420f51a7 Mon Sep 17 00:00:00 2001
From: Mick O'Brien <mickaobrien@gmail.com>
Date: Wed, 8 Oct 2014 16:17:38 +0100
Subject: [PATCH] Replace $isEmpty check

---
 .../web/public/coffee/ide/editor/directives/aceEditor.coffee  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
index eed9b114de..c5f8fc8352 100644
--- a/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
+++ b/services/web/public/coffee/ide/editor/directives/aceEditor.coffee
@@ -84,7 +84,7 @@ define [
 					bindKey: win: "Ctrl-B", mac: "Command-B"
 					exec: (editor) ->
 						selection = editor.getSelection()
-						if selection.$isEmpty
+						if selection.isEmpty()
 							editor.insert("\\textbf{}")
 							editor.navigateLeft(1)
 						else
@@ -98,7 +98,7 @@ define [
 					bindKey: win: "Ctrl-I", mac: "Command-I"
 					exec: (editor) ->
 					selection = editor.getSelection()
-					if selection.$isEmpty
+					if selection.isEmpty()
 						editor.insert("\\textit{}")
 						editor.navigateLeft(1)
 					else