diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-12 14:30:27 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-12 14:30:27 +0000 |
| commit | eb941d6eac5fe17b338c5d3bc6ecda19444c48bd (patch) | |
| tree | cfeef7eeb1f028f9c2518ee607ee1f21e5c1855a /src/example-based/ExampleDemo.hs | |
| parent | a0d785610d2e426f7d8e1a376cf53870d5f5f98d (diff) | |
minibar/syntax editor integration fixes
When starting from the minibar, the selected set of target languages is now
preserved when switching back and forth.
Diffstat (limited to 'src/example-based/ExampleDemo.hs')
0 files changed, 0 insertions, 0 deletions