[racket-dev] Gtk menu-bar height

I've pushed a new repair to the old menu-bar problem in Gtk, where the menu bar could be too short to properly display its content. Robby previously pushed a repair that made the menu bar the right height when it's supposed to be in a frame. For Unity-like modes where the menu bar is not included

Re: [racket-dev] strange/wrong placement and sizing in racket/gui

I think I've found the problem and pushed a fix. At Mon, 20 Jun 2011 15:55:08 +0200, Marijn wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Hi list, > > I have a couple of issues with current racket/gui behavior. I have > created the following test-case: > > > #lang racket/gui >

[racket-dev] strange/wrong placement and sizing in racket/gui

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi list, I have a couple of issues with current racket/gui behavior. I have created the following test-case: #lang racket/gui (define list-editor% (class vertical-panel% (init init-values parent) (super-new (parent parent)) (define (

Re: [racket-dev] `net/url' hack

At Mon, 20 Jun 2011 06:36:23 -0400, Eli Barzilay wrote: > Does anyone want to take on documenting the hack? I'll take it. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

[racket-dev] `net/url' hack

A few seconds ago, e...@racket-lang.org wrote: > e74f703 Eli Barzilay 2011-06-20 06:30 > : > | Hack: make the `net/url' implementation handle both "http" and > | "https" urls, dispatching to the plain tcp functions or the ssl > | one. > | > | (See "HACK" comment for a description on how this is do