/** * Resets the caret position, selection and scroll offsets. Recalculate * the content width and scroll bars. Redraw the widget. */ void reset() { ScrollBar verticalBar = getVerticalBar(); ScrollBar horizontalBar = getHorizontalBar(); setCaretOffset(0, SWT.DEFAULT); topIndex = 0; topIndexY = 0; verticalScrollOffset = 0; horizontalScrollOffset = 0; resetSelection(); renderer.setContent(content); if (verticalBar != null) { verticalBar.setSelection(0); } if (horizontalBar != null) { horizontalBar.setSelection(0); } resetCache(0, 0); setCaretLocation(); super.redraw(); } void resetBidiData() {
printerRenderer.setContent(copyContent(styledText.getContent())); cacheLineData(styledText);
printerRenderer.setContent(copyContent(styledText.getContent())); cacheLineData(styledText);
printerRenderer.setContent(copyContent(styledText.getContent())); cacheLineData(styledText);
/** * Resets the caret position, selection and scroll offsets. Recalculate * the content width and scroll bars. Redraw the widget. */ void reset() { ScrollBar verticalBar = getVerticalBar(); ScrollBar horizontalBar = getHorizontalBar(); setCaretOffset(0, SWT.DEFAULT); topIndex = 0; topIndexY = 0; verticalScrollOffset = 0; horizontalScrollOffset = 0; resetSelection(); renderer.setContent(content); if (verticalBar != null) { verticalBar.setSelection(0); } if (horizontalBar != null) { horizontalBar.setSelection(0); } resetCache(0, 0); setCaretLocation(); super.redraw(); } void resetBidiData() {
printerRenderer.setContent(copyContent(styledText.getContent())); cacheLineData(styledText);
printerRenderer.setContent(copyContent(styledText.getContent())); cacheLineData(styledText);
/** * Resets the caret position, selection and scroll offsets. Recalculate * the content width and scroll bars. Redraw the widget. */ void reset() { ScrollBar verticalBar = getVerticalBar(); ScrollBar horizontalBar = getHorizontalBar(); setCaretOffset(0, SWT.DEFAULT); topIndex = 0; topIndexY = 0; verticalScrollOffset = 0; horizontalScrollOffset = 0; resetSelection(); renderer.setContent(content); if (verticalBar != null) { verticalBar.setSelection(0); } if (horizontalBar != null) { horizontalBar.setSelection(0); } resetCache(0, 0); setCaretLocation(); super.redraw(); } void resetBidiData() {
/** * Resets the caret position, selection and scroll offsets. Recalculate * the content width and scroll bars. Redraw the widget. */ void reset() { ScrollBar verticalBar = getVerticalBar(); ScrollBar horizontalBar = getHorizontalBar(); setCaretOffset(0, SWT.DEFAULT); topIndex = 0; topIndexY = 0; verticalScrollOffset = 0; horizontalScrollOffset = 0; resetSelection(); renderer.setContent(content); if (verticalBar != null) { verticalBar.setSelection(0); } if (horizontalBar != null) { horizontalBar.setSelection(0); } resetCache(0, 0); setCaretLocation(); super.redraw(); } void resetBidiData() {
/** * Resets the caret position, selection and scroll offsets. Recalculate * the content width and scroll bars. Redraw the widget. */ void reset() { ScrollBar verticalBar = getVerticalBar(); ScrollBar horizontalBar = getHorizontalBar(); setCaretOffset(0, SWT.DEFAULT); topIndex = 0; topIndexY = 0; verticalScrollOffset = 0; horizontalScrollOffset = 0; resetSelection(); renderer.setContent(content); if (verticalBar != null) { verticalBar.setSelection(0); } if (horizontalBar != null) { horizontalBar.setSelection(0); } resetCache(0, 0); setCaretLocation(); super.redraw(); } void resetCache(int firstLine, int count) {
installDefaultContent(); renderer = new StyledTextRenderer(getDisplay(), this); renderer.setContent(content); renderer.setFont(getFont(), tabLength); ime = new IME(this, SWT.NONE);
installDefaultContent(); renderer = new StyledTextRenderer(getDisplay(), this); renderer.setContent(content); renderer.setFont(getFont(), tabLength); ime = new IME(this, SWT.NONE);
installDefaultContent(); renderer = new StyledTextRenderer(getDisplay(), this); renderer.setContent(content); renderer.setFont(getFont(), tabLength); ime = new IME(this, SWT.NONE);
installDefaultContent(); renderer = new StyledTextRenderer(getDisplay(), this); renderer.setContent(content); renderer.setFont(getFont(), tabLength); ime = new IME(this, SWT.NONE);
installDefaultContent(); renderer = new StyledTextRenderer(getDisplay(), this); renderer.setContent(content); renderer.setFont(getFont(), tabLength); ime = new IME(this, SWT.NONE);