search

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

robot configuration window too small #27

Open cfinucane opened 11 years ago

cfinucane commented 11 years ago

on edit robot, handler config buttons are almost invisible