src/Builder4/WindowLeftProps.vala
" //if (ev.type == Gdk.EventType.2BUTTON_PRESS && ev.button == 1 && col.title == \"Name\") { ",
" if (ev.button == 1 && col.title == \"Name\") { ",
" ",
- " this.editPropertyDetails(path, ev.y); ",
+ " this.editPropertyDetails(path, (int) ev.y); ",
" ",
" return false;",
" }",
//if (ev.type == Gdk.EventType.2BUTTON_PRESS && ev.button == 1 && col.title == "Name") {
if (ev.button == 1 && col.title == "Name") {
- this.editPropertyDetails(path, ev.y);
+ this.editPropertyDetails(path, (int) ev.y);
return false;
}