Rev 9892 | Rev 9903 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 9892 | Rev 9902 | ||
---|---|---|---|
Line 98... | Line 98... | ||
98 | drawCursor: BOOLEAN; |
98 | drawCursor: BOOLEAN; |
99 | padding: RECORD left, top: INTEGER END; |
99 | padding: RECORD left, top: INTEGER END; |
100 | size, textsize: tPoint; |
100 | size, textsize: tPoint; |
101 | charWidth, charHeight: INTEGER; |
101 | charWidth, charHeight: INTEGER; |
102 | autoIndents*, lineNumbers*, autoBrackets*, trimSpace*: BOOLEAN; |
102 | autoIndents*, lineNumbers*, autoBrackets*, trimSpace*: BOOLEAN; |
103 | idxTable: Search.IdxTable; |
- | |
Line 104... | Line 103... | ||
104 | 103 | ||
105 | 104 | ||
106 | PROCEDURE setLang* (text: tText; lang: INTEGER); |
105 | PROCEDURE setLang* (text: tText; lang: INTEGER); |
Line 909... | Line 908... | ||
909 | IF ~cs THEN |
908 | IF ~cs THEN |
910 | U.upcase16(text.searchText) |
909 | U.upcase16(text.searchText) |
911 | END; |
910 | END; |
912 | IF text.searchText # "" THEN |
911 | IF text.searchText # "" THEN |
913 | plainText := plain(text); |
912 | plainText := plain(text); |
914 | idxData := Search.index(plainText, idxTable, cs); |
913 | idxData := Search.index(plainText, cs); |
915 | Search.find(plainText, idxTable, text.searchText, whole, text.foundList); |
914 | Search.find(plainText, text.searchText, whole, text.foundList); |
916 | res := text.foundList.count > 0 |
915 | res := text.foundList.count > 0 |
- | 916 | ELSE |
|
- | 917 | Search.close |
|
917 | END; |
918 | END; |
918 | CB.destroy(plainText); |
919 | CB.destroy(plainText); |
919 | CB.destroy(idxData); |
920 | CB.destroy(idxData); |
920 | text.search := FALSE; |
921 | text.search := FALSE; |
921 | text.foundSel := 0 |
922 | text.foundSel := 0 |
Line 2460... | Line 2461... | ||
2460 | END draw; |
2461 | END draw; |
Line 2461... | Line 2462... | ||
2461 | 2462 | ||
2462 | 2463 | ||
2463 | PROCEDURE switch* (text: tText); |
2464 | PROCEDURE switch* (text: tText); |
2464 | BEGIN |
2465 | BEGIN |
2465 | ChangeLog.set(text.chLog); |
2466 | ChangeLog.setLog(text.chLog); |
2466 | Lines.setMaxLength(text.maxLength); |
2467 | Lines.setMaxLength(text.maxLength); |