29 #include <vdk/vdkobj.h>
30 #include <vdk/vdkprops.h>
53 static void ValueChanged(GtkWidget *wid, gpointer gp);
54 static void OnValueChanged(GtkWidget *wid, gpointer gp);
69 VDKReadWriteValueProp<VDKSpinButton, int>
Digits;
98 void SetDigits(
int digits);
100 void SetValueAsFloat(
float f);
101 float GetValueAsFloat();
102 void SetLowerBound(
float f);
103 float GetLowerBound();
104 void SetUpperBound(
float f);
105 float GetUpperBound();
112 GtkStateType state = GTK_STATE_NORMAL);
119 GtkStateType state = GTK_STATE_NORMAL);
121 #ifdef USE_SIGCPLUSPLUS
128 VDKSignal1<void, float> OnSpinValueChanged;