private void addHistory(int ticket, final List elements, final List imageDescriptors, final List labels) { addAll(ticket, elements, imageDescriptors, labels); }
public void setSearchPattern(String text) { stop(false, false); if (text.length() == 0 || "*".equals(text)) { //$NON-NLS-1$ fTypeInfoFilter= null; reset(); } else { fTypeInfoFilter= createTypeInfoFilter(text); scheduleSearchJob(isSyncJobRunning() ? HISTORY : FULL); } }
private void addDashLine() { TableItem item= null; if (fItems.size() > fNextElement) { item= (TableItem)fItems.get(fNextElement); } else { item= new TableItem(fTable, SWT.NONE); fItems.add(item); } fillDashLine(item); fNextElement++; }
fItems= new ArrayList(500); fTable.setHeaderVisible(false); addPopupMenu(); fTable.addControlListener(new ControlAdapter() { public void controlResized(ControlEvent event) { fDashLineColor= computeDashLineColor(); fScrollbarWidth= computeScrollBarWidth(); fTableWidthDelta= fTable.computeTrim(0, 0, 0, 0).width - fScrollbarWidth; fSeparatorIcon= JavaPluginImages.DESC_OBJS_TYPE_SEPARATOR.createImage(fTable.getDisplay()); fTypeInfoFilter= createTypeInfoFilter(initialFilter); GC gc= null; try { scheduleSyncJob();
fTable.redraw(); fTable.clear(0, fHistoryMatches.length - 1); } else { fNextElement= 0; TypeNameMatch[] historyItems= fHistory.getFilteredTypeInfos(filter); if (historyItems.length == 0) { shortenTable(); return; for (int i= 0; i < historyItems.length; i++) { TypeNameMatch next= i == lastIndex ? null : historyItems[i + 1]; addSingleElement(type, fLabelProvider.getImageDescriptor(type), fLabelProvider.getText(last, type, next)); type= next; shortenTable();
gd= new GridData(GridData.FILL_HORIZONTAL); label.setLayoutData(gd); fViewer= new TypeInfoViewer(this, fMultipleSelection ? SWT.MULTI : SWT.NONE, label, fScope, elementKind, fInitialFilterText, fTypeSelectionExtension != null ? fTypeSelectionExtension.getFilterExtension() : null, fTypeSelectionExtension != null ? fTypeSelectionExtension.getImageProvider() : null); gd= new GridData(GridData.FILL_BOTH); final Table table= fViewer.getTable(); PixelConverter converter= new PixelConverter(table); gd.widthHint= converter.convertWidthInCharsToPixels(70); fViewer.setFullyQualifyDuplicates(fSettings.getBoolean(FULLY_QUALIFY_DUPLICATES), false); if (fTypeSelectionExtension != null) { Control addition= fTypeSelectionExtension.createContentArea(this);
private void setData(TableItem item) { int index= fTable.indexOf(item); TypeNameMatch type= getTypeInfo(index); if (type == DASH_LINE) { item.setData(fDashLine); fillDashLine(item); } else { item.setData(type); item.setImage(fImageManager.get(fLabelProvider.getImageDescriptor(type))); item.setText(fLabelProvider.getText( getTypeInfo(index - 1), type, getTypeInfo(index + 1))); item.setForeground(null); } }
@Override public void triggerSearch() { fViewer.forceSearch(); }
fItems= new ArrayList(500); fTable.setHeaderVisible(false); addPopupMenu(); fTable.addControlListener(new ControlAdapter() { @Override fDashLineColor= computeDashLineColor(); fScrollbarWidth= computeScrollBarWidth(); fTableWidthDelta= fTable.computeTrim(0, 0, 0, 0).width - fScrollbarWidth; fSeparatorIcon= JavaPluginImages.DESC_OBJS_TYPE_SEPARATOR.createImage(fTable.getDisplay()); fTypeInfoFilter= createTypeInfoFilter(initialFilter); GC gc= null; try { scheduleSyncJob();
fTable.redraw(); fTable.clear(0, fHistoryMatches.length - 1); } else { fNextElement= 0; TypeNameMatch[] historyItems= fHistory.getFilteredTypeInfos(filter); if (historyItems.length == 0) { shortenTable(); return; for (int i= 0; i < historyItems.length; i++) { TypeNameMatch next= i == lastIndex ? null : historyItems[i + 1]; addSingleElement(type, fLabelProvider.getImageDescriptor(type), fLabelProvider.getText(last, type, next)); type= next; shortenTable();
gd= new GridData(GridData.FILL_HORIZONTAL); label.setLayoutData(gd); fViewer= new TypeInfoViewer(this, fMultipleSelection ? SWT.MULTI : SWT.NONE, label, fScope, elementKind, fInitialFilterText, fTypeSelectionExtension != null ? fTypeSelectionExtension.getFilterExtension() : null, fTypeSelectionExtension != null ? fTypeSelectionExtension.getImageProvider() : null); gd= new GridData(GridData.FILL_BOTH); final Table table= fViewer.getTable(); PixelConverter converter= new PixelConverter(table); gd.widthHint= converter.convertWidthInCharsToPixels(70); fViewer.setFullyQualifyDuplicates(fSettings.getBoolean(FULLY_QUALIFY_DUPLICATES), false); if (fTypeSelectionExtension != null) { Control addition= fTypeSelectionExtension.createContentArea(this);
private void setData(TableItem item) { int index= fTable.indexOf(item); TypeNameMatch type= getTypeInfo(index); if (type == DASH_LINE) { item.setData(fDashLine); fillDashLine(item); } else { item.setData(type); item.setImage(fImageManager.get(fLabelProvider.getImageDescriptor(type))); item.setText(fLabelProvider.getText( getTypeInfo(index - 1), type, getTypeInfo(index + 1))); item.setForeground(null); } }
@Override public void triggerSearch() { fViewer.forceSearch(); }
public void setSearchPattern(String text) { stop(false, false); if (text.length() == 0 || "*".equals(text)) { //$NON-NLS-1$ fTypeInfoFilter= null; reset(); } else { fTypeInfoFilter= createTypeInfoFilter(text); scheduleSearchJob(isSyncJobRunning() ? HISTORY : FULL); } }
fItems= new ArrayList(500); fTable.setHeaderVisible(false); addPopupMenu(); fTable.addControlListener(new ControlAdapter() { @Override fDashLineColor= computeDashLineColor(); fScrollbarWidth= computeScrollBarWidth(); fTableWidthDelta= fTable.computeTrim(0, 0, 0, 0).width - fScrollbarWidth; fSeparatorIcon= JavaPluginImages.DESC_OBJS_TYPE_SEPARATOR.createImage(fTable.getDisplay()); fTypeInfoFilter= createTypeInfoFilter(initialFilter); GC gc= null; try { scheduleSyncJob();
fTable.redraw(); fTable.clear(0, fHistoryMatches.length - 1); } else { fNextElement= 0; TypeNameMatch[] historyItems= fHistory.getFilteredTypeInfos(filter); if (historyItems.length == 0) { shortenTable(); return; for (int i= 0; i < historyItems.length; i++) { TypeNameMatch next= i == lastIndex ? null : historyItems[i + 1]; addSingleElement(type, fLabelProvider.getImageDescriptor(type), fLabelProvider.getText(last, type, next)); type= next; shortenTable();
gd= new GridData(GridData.FILL_HORIZONTAL); label.setLayoutData(gd); fViewer= new TypeInfoViewer(this, fMultipleSelection ? SWT.MULTI : SWT.NONE, label, fScope, elementKind, fInitialFilterText, fTypeSelectionExtension != null ? fTypeSelectionExtension.getFilterExtension() : null, fTypeSelectionExtension != null ? fTypeSelectionExtension.getImageProvider() : null); gd= new GridData(GridData.FILL_BOTH); final Table table= fViewer.getTable(); PixelConverter converter= new PixelConverter(table); gd.widthHint= converter.convertWidthInCharsToPixels(70); fViewer.setFullyQualifyDuplicates(fSettings.getBoolean(FULLY_QUALIFY_DUPLICATES), false); if (fTypeSelectionExtension != null) { Control addition= fTypeSelectionExtension.createContentArea(this);
private void setData(TableItem item) { int index= fTable.indexOf(item); TypeNameMatch type= getTypeInfo(index); if (type == DASH_LINE) { item.setData(fDashLine); fillDashLine(item); } else { item.setData(type); item.setImage(fImageManager.get(fLabelProvider.getImageDescriptor(type))); item.setText(fLabelProvider.getText( getTypeInfo(index - 1), type, getTypeInfo(index + 1))); item.setForeground(null); } }
private void addDashLine() { TableItem item= null; if (fItems.size() > fNextElement) { item= (TableItem)fItems.get(fNextElement); } else { item= new TableItem(fTable, SWT.NONE); fItems.add(item); } fillDashLine(item); fNextElement++; }
public void triggerSearch() { fViewer.forceSearch(); }