Set some properties on the menu button to make the popup menu work better.
[armadillo.git] / src /
drwxr-xr-x   ..
-rw-r--r-- 716 main.go
-rw-r--r-- 1570 paths.go
-rw-r--r-- 2621 server.go