search

ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

size of the gui #32

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

the minimal size of the gui is (1400 * 800). It is too big for demo and laptop... also gui is not allowed to reduce the size under osx

lyhlbyl commented 9 years ago

fixed from the commit a3e4a869daa8f89b748308057aa636526d62eee1