Re: [pygtk] Re: BOUNCE pygtk@daa.com.au: Non-member submission from [Lee Taylor ]

2000-03-10 Thread Matt Wilson
I actually talked to Tom about this last night - there should be python support in 1.5, I think - and he said the current state was a mix of the patches from you and from Andrew. Matt On Sat, Mar 11, 2000 at 01:57:56PM +0800, James Henstridge wrote: > I submitted my patches to automake to Tom Tr

[pygtk] Re: BOUNCE pygtk@daa.com.au: Non-member submission from [Lee Taylor ]

2000-03-10 Thread James Henstridge
I submitted my patches to automake to Tom Tromey last year. Apparently there was another set of patches for python support that someone else submitted. I hadn't checked up on whether he had actually commited the patches for a while. What he has added looks like a combination of my patches and A

Re: [pygtk] clear window?

2000-03-10 Thread François Pinard
Kim Deok Hwan <[EMAIL PROTECTED]> writes: > Is there anything in gtk.py that corresponds to 'gdk_window_clear' in C? > Or how can I emulate the function of it? > [...] > gdk_window_set_background (drawingarea->window, &gdk_color); > /* Clear window */ > gdk_window_clear (drawingarea-

Re: [pygtk] XmHTML scrolling

2000-03-10 Thread Hassan Aurag
Ok, I have been wanting to use the new gtkhtml. But where is it? How do I get it to work? Btw, I am using the latest helix packages. > > You would want to connect to the key_press_event signal handler to catch > the appropriate key presses. Then you would want to modify the vertical > adjus

Re: [pygtk] XmHTML scrolling

2000-03-10 Thread James Henstridge
You would want to connect to the key_press_event signal handler to catch the appropriate key presses. Then you would want to modify the vertical adjustment used by the widget. Unfortunately, I haven't added code to allow you to get at these in the current version of gnome-python. If you use the

[pygtk] XmHTML scrolling

2000-03-10 Thread Tom Cato Amundsen
I'm obviously missing something. What event to connect to to use the keyboard to scroll the html widget? Tom Cato To unsubscribe: echo "unsubscribe" | mail [EMAIL PROTECTED]