diff options
| author | hallgren <hallgren@chalmers.se> | 2012-06-21 15:39:31 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-06-21 15:39:31 +0000 |
| commit | b12e6ec1e413963d90f563ca7d9c1aeaeabcdec0 (patch) | |
| tree | d78f5391591e1381abb587c27f09b0c94d9117e8 /src/www/gfse/editor.js | |
| parent | ffa1e7731d3ef7a3892366f72b708e934eb840d5 (diff) | |
gfse/sort.js: make it more resusable
Move the gfse-specific list of sortable tags and class names from sort.js
to editor.js.
Diffstat (limited to 'src/www/gfse/editor.js')
| -rw-r--r-- | src/www/gfse/editor.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/www/gfse/editor.js b/src/www/gfse/editor.js index c7acc6663..409cc936b 100644 --- a/src/www/gfse/editor.js +++ b/src/www/gfse/editor.js @@ -1598,6 +1598,7 @@ if(editor) { initial_view(); touch_edit(); dir_bugfix(); + initialize_sorting(["DIV"],["fun","lin","lincat","oper"]); } else editor.innerHTML="<p>This browser does not appear to support localStorage, and the grammar editor does not work without it. Sorry!" |