Code review comment for lp:~tapaal-contributor/tapaal/untimed-timed-gui

Peter Haahr Taankvist (ptaank) wrote :

Fixed an issue with pnObjects being set as untimed while actually being timed when opening files. DrawMenu will now be disabled if there are no available items (NoNet mode).

review: Needs Resubmitting

« Back to merge proposal