You can use `Editor.getShowLineNumbers()` here