Searched refs:globallxstylesize (Results 1 – 1 of 1) sorted by relevance
207 int globallxstylesize=0; in setTheme() local250 globallxstylesize = lngstyle[i].globallexstylesize; in setTheme()264 setThemeStyle(lexer, globallxstyle, globallxstylesize, font1); in setTheme()