mirror of
https://github.com/nasa/trick.git
synced 2024-12-19 05:07:54 +00:00
Restore previous size of Variable Tree and Search Panel when visibility is restored. Save/restore visibility across sessions. Add mnemonics and tooltips to menu items. Ensure the Variable Tree is visible as part of the "Expand Parent in Tree" actions. Remove calls to setOneTouchExpandable. Refs #415 |
||
---|---|---|
.. | ||
src/trick | ||
test | ||
.gitignore | ||
build_trick | ||
build.xml | ||
makefile |