diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-17 08:49:31 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-17 08:49:31 +0000 |
| commit | 563299085d0e556b6c383f5ddfc6c8d7673c5bca (patch) | |
| tree | 92ec991f8e431f86a59bd9f19cfc8841a01eec95 /src/runtime/c/pgf/expr.c | |
| parent | b037fa2b327b115fb672cfee68951afd93a898f6 (diff) | |
minibar: syntax editor integration bug fix
The minibar has the alternative "All" in the target language menu. This should
not be included when transfering to the syntax editor.
Diffstat (limited to 'src/runtime/c/pgf/expr.c')
0 files changed, 0 insertions, 0 deletions