Splitting ext/gtk+/gtk.defs
| From: | Markus Fischer | Date: | Sun, 16 Sep 2001 11:58:09 +0000 |
| Subject: | Splitting ext/gtk+/gtk.defs | ||
| Groups: | php.gtk.dev | ||
| Request: | Send a blank email to php-gtk-dev+get-48@lists.php.net to get a copy of this message | ||
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-