hi, i have this tiny netbook with a vertical window resolution of 600 pixels. i can open drscheme without problems (maximized, i'm using a tiling wm, xmonad): its content resizes alright. but when i open the preferences window, it gets cut from below instead of resizing (seems it wants to be taller than the available height), and i cannot access the ok/cancel buttons. is this a problem with my setup, a bug, something i can fix somehow?
thanks! jao -- Genius may have its limitations, but stupidity is not thus handicapped. -Elbert Hubbard _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
