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 gtkhtml wrapper instead, you can use the get_vadjustment()
method to get the vertical adjustment.  You can then call the set_value()
method of the adjustment to scroll the widget.  Increment/decrement the
value by adj.step_increment for normal scrolling, or adj.page_increment
for page up/page down.

James.

--
Email: [EMAIL PROTECTED]
WWW:   http://www.daa.com.au/~james/


On Fri, 10 Mar 2000, Tom Cato Amundsen wrote:

> 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]
> 

To unsubscribe: echo "unsubscribe" | mail [EMAIL PROTECTED]

Reply via email to