tree ad81f9f1ff39b69b471146317974324ba5a66f2f
parent 713e492134430e57b57fbe1a37721398407d25cd
author Ilya Moiseenko <iliamo@cs.ucla.edu> 1383302560 -0700
committer Ilya Moiseenko <iliamo@cs.ucla.edu> 1383590988 -0800

UI improvements (linux)

Change-Id: Id1a03f6bc500d6ecc78cd04cf4250a177120f1a8