PutInt
if (!PutInt("window_mode", &window_mode)
|| !PutInt("normal_bar_color", &normal_bar_color)
|| !PutInt("mini_active_color", &mini_active_color)
|| !PutInt("mini_idle_color", &mini_idle_color)
|| !PutInt("mini_frame_color", &mini_frame_color)
|| !PutInt("deskbar_active_color", &deskbar_active_color)
|| !PutInt("deskbar_idle_color", &deskbar_idle_color)
|| !PutInt("deskbar_frame_color", &deskbar_frame_color)
|| !PutInt("deskbar_icon_width", &deskbar_icon_width))
bool PutInt(const char *name, int *value);