++
Дополнение обновлений
This commit is contained in:
@@ -206,12 +206,5 @@ public class SPFEditor extends BaseEditor implements SPFEditorInterface {
|
||||
public int getCurrentSymbol() {
|
||||
return getCaretOffsetFromLineStart() + 1;
|
||||
}
|
||||
@Override
|
||||
public void applyTheme() {
|
||||
float font_size = (float) getFont().getSize();
|
||||
((SPFEditorTheme) MainModule_.instance.getUI().getTheme()).getEditorTheme().apply(this);
|
||||
setFont(getFont().deriveFont(font_size));
|
||||
menu.applyTheme();
|
||||
//меню связано с редактором. поэтому тема меняется только вместе с ним.
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user