Created by Niels Christensen on 2019-02-19 and last modified on 2019-03-12
Get this branch:
bzr branch lp:~cpn-gui/tapaal/colorTimeConstraint
Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

1031. By Mark Glavind on 2019-03-12

resolved merge conflict in Color

1030. By Mark Glavind on 2019-03-12

 WIP on new table for time constraints

1029. By Mark Glavind on 2019-03-12

finished edit for time intervals.

1028. By Mark Glavind on 2019-03-11

Time invariants for colors in edit place panel finished

1027. By Mark Glavind on 2019-03-08

edit colored time invariants panel finished, missing bug when opening place a second time after adding time invariants

1026. By Mark Glavind on 2019-03-07

WIP - equals for colors not done, continue tomorrow

1025. By Mark Glavind on 2019-03-07

finished shell for time constraint GUI, missing functionality

1024. By Mark Glavind on 2019-03-06

added colorCombobox to its own panel, so the code can be reused several places

1023. By Mark Glavind on 2019-03-06

created popup window for editing time invariant. added classes to hold the new shared panel for editing invariants and intervals. changed some filepaths for better structure

1022. By Mark Glavind on 2019-03-01

WIP, added panel for editing colored time invariants on places. Missing save of new data

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.