Iterable<String> get postscriptNames => js_util.getProperty(this, 'postscriptNames');
set postscriptNames(Iterable<String> newValue) { js_util.setProperty(this, 'postscriptNames', newValue); }