lp:~yrke/tapaal/removeStaticAccesInStatisticPanel

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 987

Jiri Srba: Pending requested 2018-11-02

Diff: 66 lines (+11/-9)

2 files modified

src/dk/aau/cs/gui/components/StatisticsPanel.java (+10/-8)
src/pipe/gui/GuiFrame.java (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

978. By Kenneth Yrke Jørgensen on 2018-11-02

Statisticspanel now takes an agurment, insted of static access

977. By Jiri Srba <email address hidden> on 2018-10-09

Merged in branch lp:~yrke/tapaal/tapaal-DatalayerClenup doing cleanup in Datalayer
and PNML loading

976. By Jiri Srba <email address hidden> on 2018-10-09

merged in branch lp:~yrke/tapaal/cleanup-selectionmanager doing
some code cleanup in SelectionManager.java

975. By Jiri Srba on 2018-08-14

merged in branch lp:~tapaal-contributor/tapaal/highlight-names-on-select-1786755
that highlights names of selected places and transitions

974. By Jiri Srba <email address hidden> on 2018-08-13

merged in branch lp:~yrke/tapaal/tapaal-removeObservableDataLayer
removing some code

973. By Jiri Srba <email address hidden> on 2018-08-13

merged in branch lp:~yrke/tapaal/tapaal-fixes-1
cleaning up in GUI

972. By Jiri Srba <email address hidden> on 2018-08-13

merged in branch lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545 changing standard ending of TAPAAL file to .tapn

971. By Jiri Srba <email address hidden> on 2018-08-13

merge in branch lp:~tapaal-contributor/tapaal/paint-arc-labels-on-select-1786459that highlights labels when an arc is selected

970. By Jiri Srba <email address hidden> on 2018-08-10

merged in brnch lp:~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848
allowing to move labels of arcs around in the net

969. By Jiri Srba on 2018-08-01

merged in branch lp:~yrke/tapaal/tapaal-gradlebuild adding gradle build support (not fully functional yet, so official builds should be done using make)