@Override public int getWidth() { return console.driver.getWidth(); }
int width = editor.console.driver.getWidth();
@Override public int getWidth() { return console.driver.getWidth(); }
@Override public int getWidth() { return console.driver.getWidth(); }
int width = editor.console.driver.getWidth();
int width = editor.console.driver.getWidth();