On Tue, May 17, 2011 at 3:20 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > On Tue, May 17, 2011 at 2:16 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> > wrote: >> On Tue, May 17, 2011 at 3:08 PM, Robby Findler >> <ro...@eecs.northwestern.edu> wrote: >>> On Tue, May 17, 2011 at 2:05 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> >>> wrote: >>>> On Tue, May 17, 2011 at 2:58 PM, Robby Findler >>>> <ro...@eecs.northwestern.edu> wrote: >>>>> On Tue, May 17, 2011 at 1:45 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> >>>>> wrote: >>>>>> On Tue, May 17, 2011 at 12:04 PM, Robby Findler >>>>>> <ro...@eecs.northwestern.edu> wrote: >>>>>>> In consultation with Matthew, I've pushed a change that fixes the too >>>>>>> small menu bar problem, at least on a VM on my laptop. >>>>>>> >>>>>>> If you're seeing this problem, can you check and see if the change >>>>>>> fixes it for you too? >>>>>>> >>>>>>> Also, if someone could try it out on a unity setup, that'd be helpful. >>>>>> >>>>>> This works for me on both my machine running Unity, and my machine >>>>>> running Gnome3. >>>>>> >>>>>> On Unity, there's a black bar where the menu bar would be, since Unity >>>>>> puts the menus in the top panel. I'm not sure what the right way to >>>>>> remove that is. >>>>> >>>>> Wouldn't the right thing be to actually put the menus there instead of >>>>> removing that bar? (Or am I misunderstanding something?) >>>> >>>> No, Unity makes a global design choice that menus go in the top panel >>>> (like on a Mac). >>>> >>>> Here's a screenshot that shows what's going on: >>>> http://www.linuxuser.co.uk/wp-content/uploads/2010/09/Ubuntu-Ubunity-Screenshot-4.png >>> >>> I understood that. >>> >>> Oh! Are you saying that there is a space at the top of the window (as >>> opposed to the screen)? >> >> Right. >> >>> Did that not used to be there? >> >> Previously, that space had the menus in it, I think. >> >>> Hm. I can see how my change would have >>> done that. But given that the original code didn't work, I don't see >>> how to fix the problem without an explicit test on whether the menu >>> bar is in the window or not. Well, it requires more understanding of >>> gtk than I have, anyways. >> >> Oh, the current behavior is a big improvement. I expect that the >> current problem is a lower-level issue with our GTK bindings. I'll >> see if I can come up with a smaller test case. > > I'm confused now and I think a screenshot of drracket would clear > things up, but I suspect that someone has to start fiddling around > with gtk calls on a unity setup to really make progress.
Here are screenshots: Maximized, with menu: http://punge.ccs.neu.edu/~samth/drr-max2.png Maximized, with window title: http://punge.ccs.neu.edu/~samth/drr-maximized.png Not maximized: http://punge.ccs.neu.edu/~samth/drr-small.png -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
