3 int Settings::max_line_width
= 0;
5 QFont
Settings::File::font
= QFont("DejaVu Sans");
6 QColor
Settings::File::font_color
= QColor(0,0,0);
7 QColor
Settings::File::background_color
= QColor(100,100,100);
8 int Settings::File::box_height
= 30;
9 int Settings::File::text_left_indentation
= 10;
11 int Settings::Hunk::separator_height
= 5;
12 QColor
Settings::Hunk::separator_color
= QColor(200, 200, 200);
15 QFont
Settings::Text::font
= QFont("DejaVu Sans");
16 QColor
Settings::Text::font_color
= QColor(0, 0, 0);
18 QColor
Settings::Text::background_color
= QColor(255, 255, 255);
19 QColor
Settings::Text::background_color_added
= QColor("#BEBEED");
20 QColor
Settings::Text::background_color_deleted
= QColor("#BEEDBE");
21 QColor
Settings::Text::background_color_changed
= QColor("#EDBEBE");
23 int Settings::Text::line_column_width
= 30;
24 int Settings::Text::line_indentation
= 10;