diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-04 14:04:31 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-04 14:04:31 +0000 |
| commit | 3c244ff27f015df6cfa918c9ba3e192f4d5b62ff (patch) | |
| tree | 6dcc6016bd180b863cd5136d0f9ea1646b566799 /src/www/minibar/minibar_input.js | |
| parent | a22a419bc7ea0dc45f9965e6ffebf42417212d52 (diff) | |
minibar/syntax editor integration improvements
Work in progress on preserving the start category and selected target languages
when switching between the minibar and the syntax editor.
Diffstat (limited to 'src/www/minibar/minibar_input.js')
| -rw-r--r-- | src/www/minibar/minibar_input.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/www/minibar/minibar_input.js b/src/www/minibar/minibar_input.js index be58530e7..5cc7c140e 100644 --- a/src/www/minibar/minibar_input.js +++ b/src/www/minibar/minibar_input.js @@ -90,7 +90,6 @@ Input.prototype.change_language=function () { } Input.prototype.set_input_for=function(grammar_url,initial) { - var t=this var local=mi_local(grammar_url) local.put("from",initial.from) local.put("current",{from:initial.from,input:initial.input}) |