tree f2a934beecad9df1d1593ab9d5200710daa5fa6e
parent ca8cdc60661708d0d7975fa01fa99caa9646a9b2
author Jack Jansen <jack.jansen@cwi.nl> 844853886 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 844853886 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%406860

tweaked some of the positions of interface elements.