|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use JavaHtmlString | |
---|---|
gui.htmlconverter |
Uses of JavaHtmlString in gui.htmlconverter |
---|
Methods in gui.htmlconverter that return JavaHtmlString | |
---|---|
JavaHtmlString |
JavaStream.getComments()
|
JavaHtmlString |
JavaStream.getKeywords()
|
JavaHtmlString |
JavaStream.getMainText()
|
JavaHtmlString |
JavaStream.getStrings()
|
Methods in gui.htmlconverter with parameters of type JavaHtmlString | |
---|---|
void |
JavaStream.setComments(JavaHtmlString comments)
|
void |
JavaStream.setKeywords(JavaHtmlString keywords)
|
void |
JavaStream.setMainText(JavaHtmlString mainText)
|
void |
JavaStream.setStrings(JavaHtmlString strings)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |