-
- Downloads
added option to show event parameters
Showing
- de.prob.ui/plugin.xml 29 additions, 0 deletionsde.prob.ui/plugin.xml
- de.prob.ui/src/de/prob/ui/historyview/HistoryEventLabelProvider.java 33 additions, 3 deletions...src/de/prob/ui/historyview/HistoryEventLabelProvider.java
- de.prob.ui/src/de/prob/ui/historyview/HistoryLabelProvider.java 6 additions, 0 deletions...b.ui/src/de/prob/ui/historyview/HistoryLabelProvider.java
- de.prob.ui/src/de/prob/ui/historyview/HistoryView.java 25 additions, 5 deletionsde.prob.ui/src/de/prob/ui/historyview/HistoryView.java
- de.prob.ui/src/de/prob/ui/historyview/ToggleShowParametersHandler.java 79 additions, 0 deletions...c/de/prob/ui/historyview/ToggleShowParametersHandler.java
Please register or sign in to comment