VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 69 forks source link

New reged #14

Open csalzberger opened 12 years ago

csalzberger commented 12 years ago

Things that may need to be done to make transition smoother for people: -Being able to read old region file formats and import them seamlessly. -Re-adding transparency to the region drawing in Region Editor. There is some issue with doing this when the regions are drawn to a bitmap and the bitmap is drawn to the window. -Test for the text to speech module, pyttsx, and avoid importing if it is not available. Also disable the “Speech” option in audio feedback. -Check which operating system is being used and make appropriate substitution for module winsound.

cfinucane commented 12 years ago

TODO: put bounds on zooming, otherwise crashes TODO: tool buttons do not show toggle action visually on osx/gtk