From 0f70d526d916bb9121918fdcc70d9f55b23fa2fc Mon Sep 17 00:00:00 2001
From: Alasdair Smith <ali@alasdairsmith.co.uk>
Date: Mon, 16 Apr 2018 09:42:26 +0100
Subject: [PATCH] Remove unused toggleRichText method

---
 services/web/public/coffee/ide/editor/EditorManager.coffee | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/services/web/public/coffee/ide/editor/EditorManager.coffee b/services/web/public/coffee/ide/editor/EditorManager.coffee
index a10a499bc2..72bbe8509a 100644
--- a/services/web/public/coffee/ide/editor/EditorManager.coffee
+++ b/services/web/public/coffee/ide/editor/EditorManager.coffee
@@ -188,6 +188,3 @@ define [
 						@$scope.editor.trackChanges = want
 				else
 					@_syncTimeout = setTimeout tryToggle, 100
-
-		toggleRichText: () ->
-			@$scope.editor.richText = !@$scope.editor.richText