Rev 8933 | Rev 8947 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8933 | Rev 8946 | ||
---|---|---|---|
Line 144... | Line 144... | ||
144 | { |
144 | { |
145 | ini.path = GetIni(#eolite_ini_path, "app.ini"); |
145 | ini.path = GetIni(#eolite_ini_path, "app.ini"); |
146 | if (efm) ini.section = "EFM"; else ini.section = "Eolite"; |
146 | if (efm) ini.section = "EFM"; else ini.section = "Eolite"; |
147 | 147 | ||
Line 148... | Line 148... | ||
148 | files.SetFont(8, 14, 10000000b); |
148 | files.SetFont(6, 9, 10000000b); |
149 | show_dev_name.checked = ini.GetInt("ShowDeviceName", true); |
149 | show_dev_name.checked = ini.GetInt("ShowDeviceName", true); |
150 | show_status_bar.checked = ini.GetInt("ShowStatusBar", true); |
150 | show_status_bar.checked = ini.GetInt("ShowStatusBar", true); |
151 | big_icons.checked = ini.GetInt("BigIcons", false); BigIconsSwitch(); |
151 | big_icons.checked = ini.GetInt("BigIcons", false); BigIconsSwitch(); |
152 | colored_lines.checked = ini.GetInt("ColoredLines", true); |
152 | colored_lines.checked = ini.GetInt("ColoredLines", true); |
153 | kfont.size.pt = ini.GetInt("FontSize", 13); |
153 | kfont.size.pt = ini.GetInt("FontSize", 13); |