19
19
public class Preferences : Object {
20
20
private Gtk.Dialog preferences;
22
21
private ItemPreferences menupreferences;
23
22
private ItemPreferences indicatorpreferences;
23
private ColorMapper colormapper;
25
public Preferences(ColorMapper colormapper)
27
this.colormapper = colormapper;
26
31
this.menupreferences = new ItemPreferences("menu-expressions");
36
41
Gtk.Builder builder;
37
42
this.preferences = Utils.get_ui("preferencesdialog", this,
38
{"widthadjustment", "speedadjustment"},
43
{"widthadjustment", "speedadjustment", "schemestore"},
39
44
out builder) as Gtk.Dialog;
40
45
return_if_fail(this.preferences != null);
53
58
var traceid = traceids[j];
54
59
var tracesettings = settingscache.tracesettings(graphid, traceid);
55
60
tracesettings.bind_with_mapping("color",
56
builder.get_object(@"$(traceid)_color"), "color",
57
SettingsBindFlags.DEFAULT, Utils.get_settings_color,
58
Utils.set_settings_color, null, () => {});
61
builder.get_object(@"$(traceid)_color"), "rgba",
62
SettingsBindFlags.DEFAULT,
63
Utils.get_settings_rgba,
64
Utils.set_settings_rgba,
65
this.colormapper, () => {});
61
68
graphsettings.bind("enabled",
62
69
builder.get_object(@"$(graphid)_enabled"), "active",
63
70
SettingsBindFlags.DEFAULT);
64
graphsettings.bind_with_mapping("background-color",
65
builder.get_object(@"$(graphid)_background_color"), "color",
66
SettingsBindFlags.DEFAULT, Utils.get_settings_color,
67
Utils.set_settings_color, null, () => {});
68
graphsettings.bind("alpha",
69
builder.get_object(@"$(graphid)_background_color"), "alpha",
70
SettingsBindFlags.DEFAULT);
73
// TODO: rgba, alpha need settings conversion
73
74
prefsettings.bind("width",
74
75
builder.get_object("width"), "value",
75
76
SettingsBindFlags.DEFAULT);
77
prefsettings.bind_with_mapping("background-color",
78
builder.get_object("background_color"), "rgba",
79
SettingsBindFlags.DEFAULT,
80
Utils.get_settings_rgba,
81
Utils.set_settings_rgba,
82
this.colormapper, () => {});
76
83
prefsettings.bind("speed",
77
84
builder.get_object("speed"), "value",
78
85
SettingsBindFlags.DEFAULT);