*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
void save_settings(void);
void load_settings(void);
void set_tool_colors(GtkWidget *w);
void save_settings(void);
void load_settings(void);
void set_tool_colors(GtkWidget *w);