blob: 10a682b86ad4852997ab9147dfdbbbbbc765a64c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
/*
@ITMillApache2LicenseForJavaFiles@
*/
package com.vaadin.ui;
import com.vaadin.terminal.PaintException;
import com.vaadin.terminal.PaintTarget;
import com.vaadin.terminal.gwt.client.ui.richtextarea.VRichTextArea;
import com.vaadin.ui.ClientWidget.LoadStyle;
/**
* A simple RichTextArea to edit HTML format text.
*
* Note, that using {@link TextField#setMaxLength(int)} method in
* {@link RichTextArea} may produce unexpected results as formatting is counted
* into length of field.
*/
@SuppressWarnings("serial")
@ClientWidget(value = VRichTextArea.class, loadStyle = LoadStyle.LAZY)
public class RichTextArea extends TextField {
@Override
public void paintContent(PaintTarget target) throws PaintException {
target.addAttribute("richtext", true);
super.paintContent(target);
}
/**
* RichTextArea does not support input prompt.
*/
@Override
public void setInputPrompt(String inputPrompt) {
throw new UnsupportedOperationException(
"RichTextArea does not support inputPrompt");
}
}
|
