Re: Splitting ext/gtk+/gtk.defs
| From: | Frank M. Kromann | Date: | Sun, 16 Sep 2001 15:37:03 +0000 |
| Subject: | Re: Splitting ext/gtk+/gtk.defs | ||
| Groups: | php.gtk.dev | ||
| Request: | Send a blank email to php-gtk-dev+get-51@lists.php.net to get a copy of this message | ||
Hi Markus,
I have just commited a hack to prevent the gutter_size property from beeing generated on Win32.
- Frank
> How do we solve the problem with e.g. gutter_size not defined on
> win32? Splitting the gtk.defs file in gtk.defs and
> gtk.defs.win32 or having a way to override a definition from the
> gtk.defs file?
>
> - Markus
>
> --
> Markus Fischer, http://guru.josefine.at/~mfischer/
> EMail: mfischer@guru.josefine.at
> PGP Public Key: http://guru.josefine.at/~mfischer/C2272BD0.asc
> PGP Fingerprint: D3B0 DD4F E12B F911 3CE1 C2B5 D674 B445 C227 2BD0
> -All your scripts are belong to Zend-
>
> --
> PHP-GTK Development Mailing List (http://gtk.php.net/)
> To unsubscribe, e-mail: php-gtk-dev-unsubscribe@lists.php.net
> For additional commands, e-mail: php-gtk-dev-help@lists.php.net
> To contact the list administrators, e-mail: php-list-admin@lists.php.net
>
>
>