31 self.commentString = "//" |
31 self.commentString = "//" |
32 self.streamCommentString = { |
32 self.streamCommentString = { |
33 'start': '/* ', |
33 'start': '/* ', |
34 'end': ' */' |
34 'end': ' */' |
35 } |
35 } |
36 |
36 |
|
37 self.keywordSetDescriptions = [ |
|
38 self.tr("JSON Keywords"), |
|
39 self.tr("JSON-LD Keywords"), |
|
40 ] |
|
41 |
37 def initProperties(self): |
42 def initProperties(self): |
38 """ |
43 """ |
39 Public slot to initialize the properties. |
44 Public slot to initialize the properties. |
40 """ |
45 """ |
41 self.setHighlightComments( |
46 self.setHighlightComments( |