summaryrefslogtreecommitdiff
path: root/Source/ModelViewer/Main.Designer.cs
Commit message (Collapse)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
| | | | | | this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
* BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ↵Gravatar Michal Moskal2011-10-19
| | | | are clearly experts
* Tree navigation with left/right arrowGravatar Michal Moskal2011-09-20
|
* BVD: Smaller initial window (to better fit on a laptop screen)Gravatar Rustan Leino2011-04-22
|
* Add "Large font" menu item (for demos)Gravatar Michal Moskal2011-04-15
|
* model viewer:Gravatar stobies2011-04-01
| | | | | | Allow opening model file via dialog Added shortcut keys for the menu items Made ReloadModel public so that we can use is as an entry point for a VS tool window
* Double-click in state list brings up source viewGravatar MichalMoskal2011-01-26
|
* Right-clicking on a state allows to display the source code for itGravatar MichalMoskal2011-01-26
|
* Add reload-model option. Bugfixes when switching modelsGravatar MichalMoskal2010-12-15
|
* Include one more expert level (this need to be rethought I guess).Gravatar MichalMoskal2010-12-14
| | | | Display res__ VCC variables.
* Add an icon. Get rid of SearchBox (not used).Gravatar MichalMoskal2010-12-10
|
* Allow for model selection if there are multiple in the fileGravatar MichalMoskal2010-12-10
|
* Introduce node categories; sort fields based on that not special charactersGravatar MichalMoskal2010-12-01
|
* Implement different levels of view (normal, expert, etc).Gravatar MichalMoskal2010-11-09
| | | | Display functions and pointer sets in VCC
* Show previous stateGravatar MichalMoskal2010-11-06
|
* Improve the generic model viewerGravatar MichalMoskal2010-11-06
|
* Right-click enableGravatar MichalMoskal2010-11-06
|
* Add search facilityGravatar MichalMoskal2010-11-04
|
* Handle aliases betterGravatar MichalMoskal2010-10-26
|
* Introduce distinction between canonical element name and its aliasesGravatar MichalMoskal2010-10-26
|
* Display state sequential numbersGravatar MichalMoskal2010-10-14
|
* Display values in the state listGravatar MichalMoskal2010-10-14
|
* Make the tree actually workGravatar MichalMoskal2010-10-14
|
* Work on keeping the unfolding skeleton when switching between statesGravatar MichalMoskal2010-10-14
|
* Add interfaces for langauge providers. Start with VCC provider.Gravatar MichalMoskal2010-10-12
|
* Put in proper namespace, move files around.Gravatar MichalMoskal2010-10-12
|
* Starting work on Boogie Model Viewer.Gravatar MichalMoskal2010-10-12