update librarian

[redakcja.git] / redakcja / static / js / wiki / view_editor_source.js

diff --git a/redakcja/static/js/wiki/view_editor_source.js b/redakcja/static/js/wiki/view_editor_source.js
index 4225d1d..547456f 100644 (file)
--- a/redakcja/static/js/wiki/view_editor_source.js
+++ b/redakcja/static/js/wiki/view_editor_source.js
@@ -19,7 +19,7 @@
                                lineNumbers: true,
                                width: "100%",
                                height: "100%",
                                lineNumbers: true,
                                width: "100%",
                                height: "100%",

-                               tabMode: 'spaces',
+                               tabMode: 'default',

                                indentUnit: 0,
                                readOnly: CurrentDocument.readonly || false,
                                initCallback: function(){
                                indentUnit: 0,
                                readOnly: CurrentDocument.readonly || false,
                                initCallback: function(){


@@ -29,15 +29,11 @@
                                                        $(event.button).trigger('click');
                                                        event.button = null;
                                                }
                                                        $(event.button).trigger('click');
                                                        event.button = null;
                                                }

-                                       }, function(event) {
-                                               /* CM reports characters 2 times - as event and as code */
-                                               if((typeof event) != "object")
-                                                       return false;
-
+                                       }, function(keycode, event) {

                                                if(!event.altKey)
                                                        return false;
 
                                                if(!event.altKey)
                                                        return false;
 

-                                               var c = String.fromCharCode(event.keyCode).toLowerCase();
+                                               var c = String.fromCharCode(keycode).toLowerCase();

                                                var button = $("#source-editor button[data-ui-accesskey='"+c+"']");
                                                if(button.length == 0)
                                                        return false;
                                                var button = $("#source-editor button[data-ui-accesskey='"+c+"']");
                                                if(button.length == 0)
                                                        return false;