3
public signal void tempo_changed (uint tempo);
4
public signal void beat_changed (uint beat);
6
public string title { get; set; }
15
tempo_changed (value);
30
public static Setting? parse (string custom_settings) {
31
Setting? return_value = null;
32
debug ("parse custom setting %s", custom_settings);
33
string [] split_title = custom_settings.split (":");
34
if (split_title.length == 2) {
35
string [] split_properties = split_title [1].split (",");
36
if (split_properties.length == 2) {
37
return_value = new Setting ();
38
return_value.title = split_title [0];
39
return_value.tempo = int.parse (split_properties [0]);
40
return_value.beat = int.parse (split_properties [1]);
47
public string get_setting_string () {
48
return "%s:%d,%d".printf (title, (int)tempo, (int)beat);