index 5a9f8de6242c1ae65b6be849d0a75f60ad6f2ec9..4417a812618a1857519a19a23e904bb0741650ad 100644 (file)
long default_seed = 0);
virtual ~RandomParam();
- virtual ParamType paramType() { return RANDOM_PARAM; }
-
virtual bool param_readSVGValue(const gchar * strvalue);
- virtual gchar * param_writeSVGValue() const;
+ virtual gchar * param_getSVGValue() const;
virtual void param_set_default();
virtual Gtk::Widget * param_newWidget(Gtk::Tooltips * tooltips);