Some highly skilled individual has gone to great lenghts to hide the
menu item that allows one to set a window manager preference.

I give... you win.... Uncle

Now where is it located.

PS-accolades to the hidee...




Reply via email to