int get lines => js_util.getProperty(this, 'lines');
set lines(int newValue) { js_util.setProperty(this, 'lines', newValue); }