g_strdup_printf("%.2f;%.2f;%.2f;%.2f;%.2f",
predef_thickness[TOOL_PEN][0], predef_thickness[TOOL_PEN][1],
predef_thickness[TOOL_PEN][2], predef_thickness[TOOL_PEN][3],
predef_thickness[TOOL_PEN][4]));
update_keyval("tools", "eraser_thicknesses",
g_strdup_printf("%.2f;%.2f;%.2f;%.2f;%.2f",
predef_thickness[TOOL_PEN][0], predef_thickness[TOOL_PEN][1],
predef_thickness[TOOL_PEN][2], predef_thickness[TOOL_PEN][3],
predef_thickness[TOOL_PEN][4]));
update_keyval("tools", "eraser_thicknesses",