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... -- Psyche-list mailing list Psyche-list@redhat.com https://listman.redhat.com/mailman/listinfo/psyche-list
