| changeset 1736 | 7e61baa047f0 |
| parent 1704 | 794a47ef5323 |
| child 1739 | ec153828ded2 |
| 1735:c02818d7e29f | 1736:7e61baa047f0 |
|---|---|
45 ERROR_HIGHLIGHT: STC_CODE_ERROR, |
45 ERROR_HIGHLIGHT: STC_CODE_ERROR, |
46 SEARCH_RESULT_HIGHLIGHT: STC_CODE_SEARCH_RESULT, |
46 SEARCH_RESULT_HIGHLIGHT: STC_CODE_SEARCH_RESULT, |
47 } |
47 } |
48 |
48 |
49 EDGE_COLUMN = 80 |
49 EDGE_COLUMN = 80 |
50 |
|
50 |
51 |
51 class CodeEditor(CustomStyledTextCtrl): |
52 class CodeEditor(CustomStyledTextCtrl): |
52 |
53 |
53 KEYWORDS = [] |
54 KEYWORDS = [] |
54 COMMENT_HEADER = "" |
55 COMMENT_HEADER = "" |