diff options
| author | hallgren <hallgren@chalmers.se> | 2010-04-19 16:48:26 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-04-19 16:48:26 +0000 |
| commit | d1088d12bc6649522f01eca741146a4ab99f5db2 (patch) | |
| tree | d44b244befc2fc8b2107b65599f86e41362ce1e3 /src/runtime/javascript/gfjseditor.js | |
| parent | bc504835d2a960268560302014d3acf8b0bac631 (diff) | |
Some work on minibar:
1. Menu for choosing target language.
2. Pass options when calling start_minibar.
See about.html for more details.
Diffstat (limited to 'src/runtime/javascript/gfjseditor.js')
0 files changed, 0 insertions, 0 deletions