Rev 9913 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 9913 | Rev 9946 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | sections*: List.tList; |
51 | sections*: List.tList; |
Line 52... | Line 52... | ||
52 | 52 | ||
53 | curSection*: tASCIISectionName; |
53 | curSection*: tASCIISectionName; |
Line 54... | Line 54... | ||
54 | curSectionNum*: INTEGER; |
54 | curSectionNum*: INTEGER; |
55 | 55 | ||
56 | blink*, font*, theme*: INTEGER; |
56 | blink*, font*, theme*, lineSpacing*: INTEGER; |
Line 57... | Line 57... | ||
57 | buildScript*, runScript*, debugScript*: RW.tFileName; |
57 | buildScript*, runScript*, debugScript*: RW.tFileName; |
Line 169... | Line 169... | ||
169 | trimSpace := get_int(IniFileName, "settings", "trim_space", 1) # 0; |
169 | trimSpace := get_int(IniFileName, "settings", "trim_space", 1) # 0; |
170 | font := get_int(IniFileName, "settings", "font", 1); |
170 | font := get_int(IniFileName, "settings", "font", 1); |
171 | IF (font < 0) OR (font > 2) THEN |
171 | IF (font < 0) OR (font > 2) THEN |
172 | font := 1 |
172 | font := 1 |
173 | END; |
173 | END; |
- | 174 | lineSpacing := get_int(IniFileName, "settings", "line_spacing", 2); |
|
- | 175 | IF (lineSpacing < 0) OR (lineSpacing > Text.MaxLineSpacing) THEN |
|
- | 176 | lineSpacing := 2 |
|
- | 177 | END; |
|
174 | theme := get_int(IniFileName, "settings", "theme", 0); |
178 | theme := get_int(IniFileName, "settings", "theme", 0); |
175 | IF (theme < 0) OR (theme >= sections.count) THEN |
179 | IF (theme < 0) OR (theme >= sections.count) THEN |
176 | theme := 0 |
180 | theme := 0 |
177 | END; |
181 | END; |
178 | getStr("settings", "build", buildScript); |
182 | getStr("settings", "build", buildScript); |