diff options
-rw-r--r-- | src/static/js/pad_editor.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/static/js/pad_editor.js b/src/static/js/pad_editor.js index 51b9355e..ca7dc2b0 100644 --- a/src/static/js/pad_editor.js +++ b/src/static/js/pad_editor.js @@ -186,7 +186,6 @@ var padeditor = (function() // No font has been previously selected so use the Normal font if(normalFont){ - console.log("Enabling a normal font"); self.ace.setProperty("textface", "Arial, sans-serif"); // $("#viewfontmenu").val("normal"); } |