本文整理汇总了Java中javax.swing.JTextArea.getDocument方法的典型用法代码示例。如果您正苦于以下问题:Java JTextArea.getDocument方法的具体用法?Java JTextArea.getDocument怎么用?Java JTextArea.getDocument使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类javax.swing.JTextArea
的用法示例。
在下文中一共展示了JTextArea.getDocument方法的9个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: actionPerformed
import javax.swing.JTextArea; //导入方法依赖的package包/类
/**
* {@inheritDoc}
*/
@Override
public void actionPerformed(ActionEvent e) {
JTextArea currentEditor = observer.getActiveEditor().getEditor();
Document document = currentEditor.getDocument();
Caret position = currentEditor.getCaret();
int len = Math.abs(currentEditor.getCaret().getDot()
- currentEditor.getCaret().getMark());
int offset = Math.min(currentEditor.getCaret().getDot(), currentEditor
.getCaret().getMark());
try {
String text = document.getText(offset, len);
text = lowerCase(text);
document.remove(offset, len);
document.insertString(offset, text, null);
// Reselect text
position.setDot(offset);
position.moveDot(offset + len);
currentEditor.requestFocus();
} catch (BadLocationException e1) {
observer.errorMessage(e1);
}
}
示例2: actionPerformed
import javax.swing.JTextArea; //导入方法依赖的package包/类
/**
* {@inheritDoc}
*/
@Override
public void actionPerformed(ActionEvent arg0) {
JTextArea currentEditor = observer.getActiveEditor().getEditor();
Document doc = currentEditor.getDocument();
int len = Math.abs(currentEditor.getCaret().getDot()
- currentEditor.getCaret().getMark());
int offset = Math.min(currentEditor.getCaret().getDot(), currentEditor
.getCaret().getMark());
try {
String text = doc.getText(offset, len);
text = toggleCase(text);
doc.remove(offset, len);
doc.insertString(offset, text, null);
currentEditor.getCaret().setDot(offset);
currentEditor.getCaret().moveDot(offset + len);
currentEditor.requestFocus();
} catch (BadLocationException e1) {
}
}
示例3: actionPerformed
import javax.swing.JTextArea; //导入方法依赖的package包/类
/**
* {@inheritDoc}
*/
@Override
public void actionPerformed(ActionEvent e) {
JTextArea currentEditor = observer.getActiveEditor().getEditor();
Document document = currentEditor.getDocument();
Caret position = currentEditor.getCaret();
int len = Math.abs(currentEditor.getCaret().getDot()
- currentEditor.getCaret().getMark());
int offset = Math.min(currentEditor.getCaret().getDot(), currentEditor
.getCaret().getMark());
try {
String text = document.getText(offset, len);
text = upperCase(text);
document.remove(offset, len);
document.insertString(offset, text, null);
position.setDot(offset);
position.moveDot(offset + len);
currentEditor.requestFocus();
} catch (BadLocationException e1) {
observer.errorMessage(e1);
}
}
示例4: getDocument
import javax.swing.JTextArea; //导入方法依赖的package包/类
private Document getDocument(String str) {
JTextArea ta = new JTextArea(str);
if (str != null && str.length() > 0) {
ta.setCaretPosition(1);
}
Document doc = ta.getDocument();
return doc;
}
示例5: func_164247_a
import javax.swing.JTextArea; //导入方法依赖的package包/类
public void func_164247_a(final JTextArea p_164247_1_, final JScrollPane p_164247_2_, final String p_164247_3_)
{
if (!SwingUtilities.isEventDispatchThread())
{
SwingUtilities.invokeLater(new Runnable()
{
public void run()
{
MinecraftServerGui.this.func_164247_a(p_164247_1_, p_164247_2_, p_164247_3_);
}
});
}
else
{
Document document = p_164247_1_.getDocument();
JScrollBar jscrollbar = p_164247_2_.getVerticalScrollBar();
boolean flag = false;
if (p_164247_2_.getViewport().getView() == p_164247_1_)
{
flag = (double)jscrollbar.getValue() + jscrollbar.getSize().getHeight() + (double)(serverGuiFont.getSize() * 4) > (double)jscrollbar.getMaximum();
}
try
{
document.insertString(document.getLength(), p_164247_3_, (AttributeSet)null);
}
catch (BadLocationException var8)
{
;
}
if (flag)
{
jscrollbar.setValue(Integer.MAX_VALUE);
}
}
}
示例6: actionPerformed
import javax.swing.JTextArea; //导入方法依赖的package包/类
/**
* {@inheritDoc}
*/
@Override
public void actionPerformed(ActionEvent e) {
JTextArea currentEditor = observer.getActiveEditor().getEditor();
Document document = currentEditor.getDocument();
Caret caret = currentEditor.getCaret();
int startCaret = Math.min(caret.getDot(), caret.getMark());
int endCaret = Math.max(caret.getDot(), caret.getMark());
try {
int startLine = currentEditor.getLineOfOffset(startCaret);
int endLine = currentEditor.getLineOfOffset(endCaret);
int fromPos = currentEditor.getLineStartOffset(startLine);
int length = currentEditor.getLineEndOffset(endLine) - fromPos;
String text = currentEditor.getText(fromPos, length);
text = sortLinesDesc(text);
document.remove(fromPos, length);
document.insertString(fromPos, text, null);
caret.setDot(fromPos);
caret.moveDot(fromPos + length);
currentEditor.requestFocus();
} catch (BadLocationException e1) {
observer.errorMessage(e1);
}
}
示例7: actionPerformed
import javax.swing.JTextArea; //导入方法依赖的package包/类
/**
* {@inheritDoc}
*/
@Override
public void actionPerformed(ActionEvent e) {
JTextArea currentEditor = observer.getActiveEditor().getEditor();
Document document = currentEditor.getDocument();
Caret caret = currentEditor.getCaret();
int startCaret = Math.min(caret.getDot(), caret.getMark());
int endCaret = Math.max(caret.getDot(), caret.getMark());
try {
int startLine = currentEditor.getLineOfOffset(startCaret);
int endLine = currentEditor.getLineOfOffset(endCaret);
int fromPos = currentEditor.getLineStartOffset(startLine);
int length = currentEditor.getLineEndOffset(endLine) - fromPos;
String text = currentEditor.getText(fromPos, length);
text = sortLinesAsc(text);
document.remove(fromPos, length);
document.insertString(fromPos, text, null);
caret.setDot(fromPos);
caret.moveDot(fromPos + length);
currentEditor.requestFocus();
} catch (BadLocationException e1) {
observer.errorMessage(e1);
}
}
示例8: actionPerformed
import javax.swing.JTextArea; //导入方法依赖的package包/类
/**
* {@inheritDoc}
*/
@Override
public void actionPerformed(ActionEvent e) {
JTextArea currentEditor = observer.getActiveEditor().getEditor();
Document document = currentEditor.getDocument();
Caret caret = currentEditor.getCaret();
int startCaret = Math.min(caret.getDot(), caret.getMark());
int endCaret = Math.max(caret.getDot(), caret.getMark());
try {
int startLine = currentEditor.getLineOfOffset(startCaret);
int endLine = currentEditor.getLineOfOffset(endCaret);
int fromPos = currentEditor.getLineStartOffset(startLine);
int length = currentEditor.getLineEndOffset(endLine) - fromPos + 1;
String text = currentEditor.getText(fromPos, length);
text = removeLines(text);
document.remove(fromPos, length - 1);
document.insertString(fromPos, text, null);
caret.setDot(fromPos);
caret.moveDot(length - 1);
currentEditor.requestFocus();
} catch (BadLocationException e1) {
observer.errorMessage(e1);
}
}
示例9: appendLine
import javax.swing.JTextArea; //导入方法依赖的package包/类
public void appendLine(final JTextArea textArea, final JScrollPane scrollPane, final String line)
{
try
{
latch.await();
} catch (InterruptedException e){} //Prevent logging until after constructor has ended.
if (!SwingUtilities.isEventDispatchThread())
{
SwingUtilities.invokeLater(new Runnable()
{
public void run()
{
MinecraftServerGui.this.appendLine(textArea, scrollPane, line);
}
});
}
else
{
Document document = textArea.getDocument();
JScrollBar jscrollbar = scrollPane.getVerticalScrollBar();
boolean flag = false;
if (scrollPane.getViewport().getView() == textArea)
{
flag = (double)jscrollbar.getValue() + jscrollbar.getSize().getHeight() + (double)(SERVER_GUI_FONT.getSize() * 4) > (double)jscrollbar.getMaximum();
}
try
{
document.insertString(document.getLength(), line, (AttributeSet)null);
}
catch (BadLocationException var8)
{
;
}
if (flag)
{
jscrollbar.setValue(Integer.MAX_VALUE);
}
}
}