[gtk-server] Suggested changes to gtk-server.cfg

  • From: Klaus Grue <grue@xxxxxxx>
  • To: gtk-server@xxxxxxxxxxxxx
  • Date: Wed, 20 Apr 2011 14:07:16 +0200 (CEST)

Hi,
Next time the default gtk-server.cfg is updated, I would suggest the following changes: 

gtk_spin_button_new_with_range value-changed WIDGET 3 DOUBLE DOUBLE DOUBLE
gtk_spin_button_get_value NONE DOUBLE 1 WIDGET

and the following additions:

gtk_spinner_new NONE WIDGET 0
gtk_spinner_start NONE NONE 1 WIDGET
gtk_spinner_stop NONE NONE 1 WIDGET

Once again: Thanks for this great gtk-server.

Cheers,
Klaus

---

PS. For those who, for some reason,
- want the changes above
- want to use the default /usr/local/etc/gtk-server.cfg
- do not want to edit /usr/local/etc/gtk-server.cfg
here are the commands to send to the gtk-server to tell it about the changes: 

gtk_server_redefine gtk_spin_button_new_with_range value-changed \
  WIDGET 3 DOUBLE DOUBLE DOUBLE
gtk_server_redefine gtk_spin_button_get_value NONE DOUBLE 1 WIDGET
gtk_server_redefine gtk_spinner_new NONE WIDGET 0
gtk_server_redefine gtk_spinner_start NONE NONE 1 WIDGET
gtk_server_redefine gtk_spinner_stop NONE NONE 1 WIDGET

Other related posts:

  • » [gtk-server] Suggested changes to gtk-server.cfg - Klaus Grue
  1. Home
  2. gtk-server
  3. Archive
  4. 04-2011