140141142143144145146147148
/** * Returns a Swing view factory. */ protected EditorViewFactory getViewFactory() { if (this.viewFactory == null) { this.viewFactory = new SwingEditorViewFactory(); } return this.viewFactory; }