~tapaal-developers/tapaal/trunk

Viewing all changes in revision 968.

  • Committer: Jiri Srba
  • Date: 2018-08-01 12:27:25 UTC
  • mfrom: (965.3.1 tapaal)
  • Revision ID: srba@cs.aau.dk-20180801122725-vw72o249inwk6jxz
merged in branch lp:~tapaal-contributor/tapaal/disable-buttons-noNetMode-1767758 that disables prev/next component and node distance changing when no net is open

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: