@Override public void setup(IDocument document) { setupDocument(document); }
/** * Creates a new properties file document provider and * sets up the parent chain. */ public PropertiesFileDocumentProvider() { IDocumentProvider provider= new TextFileDocumentProvider(); provider= new ForwardingDocumentProvider(IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING, new PropertiesFileDocumentSetupParticipant(), provider); setParentDocumentProvider(provider); }
/** * @see org.eclipse.core.filebuffers.IDocumentSetupParticipant#setup(org.eclipse.jface.text.IDocument) */ public static void setupDocument(IDocument document) { IDocumentPartitioner partitioner= createDocumentPartitioner(); if (document instanceof IDocumentExtension3) { IDocumentExtension3 extension3= (IDocumentExtension3) document; extension3.setDocumentPartitioner(IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING, partitioner); } else { document.setDocumentPartitioner(partitioner); } partitioner.connect(document); }
/** * Creates a new properties file document provider and * sets up the parent chain. */ public PropertiesFileDocumentProvider() { IDocumentProvider provider= new TextFileDocumentProvider(); provider= new ForwardingDocumentProvider(IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING, new PropertiesFileDocumentSetupParticipant(), provider); setParentDocumentProvider(provider); }
/** * @param document the document * @see org.eclipse.core.filebuffers.IDocumentSetupParticipant#setup(org.eclipse.jface.text.IDocument) */ public static void setupDocument(IDocument document) { IDocumentPartitioner partitioner= createDocumentPartitioner(); if (document instanceof IDocumentExtension3) { IDocumentExtension3 extension3= (IDocumentExtension3) document; extension3.setDocumentPartitioner(IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING, partitioner); } else { document.setDocumentPartitioner(partitioner); } partitioner.connect(document); }
static void setupPropertiesFileDocument(IDocument document) { PropertiesFileDocumentSetupParticipant.setupDocument(document); }
/** * Creates a new properties file document provider and * sets up the parent chain. */ public PropertiesFileDocumentProvider() { IDocumentProvider provider= new TextFileDocumentProvider(); provider= new ForwardingDocumentProvider(IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING, new PropertiesFileDocumentSetupParticipant(), provider); setParentDocumentProvider(provider); }
/** * @param document the document * @see org.eclipse.core.filebuffers.IDocumentSetupParticipant#setup(org.eclipse.jface.text.IDocument) */ public static void setupDocument(IDocument document) { IDocumentPartitioner partitioner= createDocumentPartitioner(); if (document instanceof IDocumentExtension3) { IDocumentExtension3 extension3= (IDocumentExtension3) document; extension3.setDocumentPartitioner(IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING, partitioner); } else { document.setDocumentPartitioner(partitioner); } partitioner.connect(document); }
static void setupPropertiesFileDocument(IDocument document) { PropertiesFileDocumentSetupParticipant.setupDocument(document); }
@Override public void setup(IDocument document) { setupDocument(document); }
static void setupPropertiesFileDocument(IDocument document) { PropertiesFileDocumentSetupParticipant.setupDocument(document); }
public void setup(IDocument document) { setupDocument(document); }
private Control createPreviewer(Composite parent) { IPreferenceStore store= new ChainedPreferenceStore(new IPreferenceStore[] { fOverlayStore, JavaPlugin.getDefault().getCombinedPreferenceStore()}); fPreviewViewer= new JavaSourceViewer(parent, null, null, false, SWT.V_SCROLL | SWT.H_SCROLL | SWT.BORDER, store); fColorManager= new JavaColorManager(false); PropertiesFileSourceViewerConfiguration configuration= new PropertiesFileSourceViewerConfiguration(fColorManager, store, null, IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING); fPreviewViewer.configure(configuration); Font font= JFaceResources.getFont(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT); fPreviewViewer.getTextWidget().setFont(font); new SourcePreviewerUpdater(fPreviewViewer, configuration, store); fPreviewViewer.setEditable(false); String content= loadPreviewContentFromFile("PropertiesFileEditorColorSettingPreviewCode.txt"); //$NON-NLS-1$ IDocument document= new Document(content); PropertiesFileDocumentSetupParticipant.setupDocument(document); fPreviewViewer.setDocument(document); return fPreviewViewer.getControl(); }
private Control createPreviewer(Composite parent) { IPreferenceStore store= new ChainedPreferenceStore(new IPreferenceStore[] { fOverlayStore, JavaPlugin.getDefault().getCombinedPreferenceStore()}); fPreviewViewer= new JavaSourceViewer(parent, null, null, false, SWT.V_SCROLL | SWT.H_SCROLL | SWT.BORDER, store); fColorManager= new JavaColorManager(false); PropertiesFileSourceViewerConfiguration configuration= new PropertiesFileSourceViewerConfiguration(fColorManager, store, null, IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING); fPreviewViewer.configure(configuration); Font font= JFaceResources.getFont(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT); fPreviewViewer.getTextWidget().setFont(font); new SourcePreviewerUpdater(fPreviewViewer, configuration, store); fPreviewViewer.setEditable(false); String content= loadPreviewContentFromFile("PropertiesFileEditorColorSettingPreviewCode.txt"); //$NON-NLS-1$ IDocument document= new Document(content); PropertiesFileDocumentSetupParticipant.setupDocument(document); fPreviewViewer.setDocument(document); return fPreviewViewer.getControl(); }
private Control createPreviewer(Composite parent) { IPreferenceStore store= new ChainedPreferenceStore(new IPreferenceStore[] { fOverlayStore, JavaPlugin.getDefault().getCombinedPreferenceStore()}); fPreviewViewer= new JavaSourceViewer(parent, null, null, false, SWT.V_SCROLL | SWT.H_SCROLL | SWT.BORDER, store); fColorManager= new JavaColorManager(false); PropertiesFileSourceViewerConfiguration configuration= new PropertiesFileSourceViewerConfiguration(fColorManager, store, null, IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING); fPreviewViewer.configure(configuration); Font font= JFaceResources.getFont(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT); fPreviewViewer.getTextWidget().setFont(font); new SourcePreviewerUpdater(fPreviewViewer, configuration, store); fPreviewViewer.setEditable(false); String content= loadPreviewContentFromFile("PropertiesFileEditorColorSettingPreviewCode.txt"); //$NON-NLS-1$ IDocument document= new Document(content); PropertiesFileDocumentSetupParticipant.setupDocument(document); fPreviewViewer.setDocument(document); return fPreviewViewer.getControl(); }
fSourceViewer.configure(new JavaSourceViewerConfiguration(textTools.getColorManager(), store, null, null)); } else if ("properties".equals(textType)) { //$NON-NLS-1$ PropertiesFileDocumentSetupParticipant.setupDocument(document); fSourceViewer.configure(new PropertiesFileSourceViewerConfiguration(textTools.getColorManager(), store, null, IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING)); } else {
fSourceViewer.getTextWidget().setOrientation(SWT.LEFT_TO_RIGHT); } else if ("properties".equals(textType)) { //$NON-NLS-1$ PropertiesFileDocumentSetupParticipant.setupDocument(document); fSourceViewer.configure(new PropertiesFileSourceViewerConfiguration(textTools.getColorManager(), store, null, IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING)); fSourceViewer.getTextWidget().setOrientation(SWT.LEFT_TO_RIGHT);
fSourceViewer.getTextWidget().setOrientation(SWT.LEFT_TO_RIGHT); } else if ("properties".equals(textType)) { //$NON-NLS-1$ PropertiesFileDocumentSetupParticipant.setupDocument(document); fSourceViewer.configure(new PropertiesFileSourceViewerConfiguration(textTools.getColorManager(), store, null, IPropertiesFilePartitions.PROPERTIES_FILE_PARTITIONING)); fSourceViewer.getTextWidget().setOrientation(SWT.LEFT_TO_RIGHT);