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

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).