Let the menu placement code know if the position was user specified
[mikachu/openbox.git] / tools /
drwxr-xr-x   ..
drwxr-xr-x - gdm-control
drwxr-xr-x - gnome-panel-control
drwxr-xr-x - obxprop
drwxr-xr-x - themeupdate