268 |
public static final String PARA_INDENT_RIGHT = "html-para-indent-right"; |
public static final String PARA_INDENT_RIGHT = "html-para-indent-right"; |
269 |
|
|
270 |
/** |
/** |
271 |
* The ViewFactory for HTMLViewFactory. |
* The ViewFactory for HTMLFactory. |
272 |
*/ |
*/ |
273 |
HTMLViewFactory viewFactory; |
HTMLFactory viewFactory; |
274 |
|
|
275 |
/** |
/** |
276 |
* Create a text storage model for this type of editor. |
* Create a text storage model for this type of editor. |
374 |
public ViewFactory getViewFactory() |
public ViewFactory getViewFactory() |
375 |
{ |
{ |
376 |
if (viewFactory == null) |
if (viewFactory == null) |
377 |
viewFactory = new HTMLViewFactory(); |
viewFactory = new HTMLFactory(); |
378 |
return viewFactory; |
return viewFactory; |
379 |
} |
} |
380 |
|
|
382 |
* A {@link ViewFactory} that is able to create {@link View}s for |
* A {@link ViewFactory} that is able to create {@link View}s for |
383 |
* the <code>Element</code>s that are supported. |
* the <code>Element</code>s that are supported. |
384 |
*/ |
*/ |
385 |
static class HTMLViewFactory |
public static class HTMLFactory |
386 |
implements ViewFactory |
implements ViewFactory |
387 |
{ |
{ |
388 |
/** |
/** |