tree 9ab9e00c45d9edbf2ba7bf6802dc8ff4cf4dd5ca
parent 28cacc1661e546f107ebd8aeceb4e547d91d90f8
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1362435646 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1362435922 -0800

fix gui glitches