|
Lines 1-5
Link Here
|
| 1 |
/******************************************************************************* |
1 |
/******************************************************************************* |
| 2 |
* Copyright (c) 2000, 2014 IBM Corporation and others. |
2 |
* Copyright (c) 2000, 2015 IBM Corporation and others. |
| 3 |
* All rights reserved. This program and the accompanying materials |
3 |
* All rights reserved. This program and the accompanying materials |
| 4 |
* are made available under the terms of the Eclipse Public License v1.0 |
4 |
* are made available under the terms of the Eclipse Public License v1.0 |
| 5 |
* which accompanies this distribution, and is available at |
5 |
* which accompanies this distribution, and is available at |
|
Lines 15-20
Link Here
|
| 15 |
import java.util.List; |
15 |
import java.util.List; |
| 16 |
import java.util.concurrent.atomic.AtomicBoolean; |
16 |
import java.util.concurrent.atomic.AtomicBoolean; |
| 17 |
|
17 |
|
|
|
18 |
import org.eclipse.core.runtime.IProgressMonitor; |
| 19 |
import org.eclipse.core.runtime.IStatus; |
| 20 |
import org.eclipse.core.runtime.Status; |
| 21 |
import org.eclipse.jface.preference.JFacePreferences; |
| 22 |
import org.eclipse.jface.resource.ColorRegistry; |
| 23 |
import org.eclipse.jface.resource.JFaceColors; |
| 24 |
import org.eclipse.jface.resource.JFaceResources; |
| 25 |
import org.eclipse.jface.text.BadPositionCategoryException; |
| 26 |
import org.eclipse.jface.text.DocumentEvent; |
| 27 |
import org.eclipse.jface.text.IDocument; |
| 28 |
import org.eclipse.jface.text.IDocumentAdapter; |
| 29 |
import org.eclipse.jface.text.IDocumentListener; |
| 30 |
import org.eclipse.jface.text.IPositionUpdater; |
| 31 |
import org.eclipse.jface.text.IRegion; |
| 32 |
import org.eclipse.jface.text.JFaceTextUtil; |
| 33 |
import org.eclipse.jface.text.Position; |
| 34 |
import org.eclipse.jface.text.source.SourceViewer; |
| 35 |
import org.eclipse.jface.util.IPropertyChangeListener; |
| 36 |
import org.eclipse.jface.util.PropertyChangeEvent; |
| 18 |
import org.eclipse.swt.SWT; |
37 |
import org.eclipse.swt.SWT; |
| 19 |
import org.eclipse.swt.custom.LineBackgroundEvent; |
38 |
import org.eclipse.swt.custom.LineBackgroundEvent; |
| 20 |
import org.eclipse.swt.custom.LineBackgroundListener; |
39 |
import org.eclipse.swt.custom.LineBackgroundListener; |
|
Lines 40-68
Link Here
|
| 40 |
import org.eclipse.swt.widgets.Display; |
59 |
import org.eclipse.swt.widgets.Display; |
| 41 |
import org.eclipse.swt.widgets.Event; |
60 |
import org.eclipse.swt.widgets.Event; |
| 42 |
import org.eclipse.swt.widgets.Listener; |
61 |
import org.eclipse.swt.widgets.Listener; |
| 43 |
|
|
|
| 44 |
import org.eclipse.core.runtime.IProgressMonitor; |
| 45 |
import org.eclipse.core.runtime.IStatus; |
| 46 |
import org.eclipse.core.runtime.Status; |
| 47 |
|
| 48 |
import org.eclipse.jface.preference.JFacePreferences; |
| 49 |
import org.eclipse.jface.resource.ColorRegistry; |
| 50 |
import org.eclipse.jface.resource.JFaceColors; |
| 51 |
import org.eclipse.jface.resource.JFaceResources; |
| 52 |
import org.eclipse.jface.util.IPropertyChangeListener; |
| 53 |
import org.eclipse.jface.util.PropertyChangeEvent; |
| 54 |
|
| 55 |
import org.eclipse.jface.text.BadPositionCategoryException; |
| 56 |
import org.eclipse.jface.text.DocumentEvent; |
| 57 |
import org.eclipse.jface.text.IDocument; |
| 58 |
import org.eclipse.jface.text.IDocumentAdapter; |
| 59 |
import org.eclipse.jface.text.IDocumentListener; |
| 60 |
import org.eclipse.jface.text.IPositionUpdater; |
| 61 |
import org.eclipse.jface.text.IRegion; |
| 62 |
import org.eclipse.jface.text.JFaceTextUtil; |
| 63 |
import org.eclipse.jface.text.Position; |
| 64 |
import org.eclipse.jface.text.source.SourceViewer; |
| 65 |
|
| 66 |
import org.eclipse.ui.internal.console.ConsoleDocumentAdapter; |
62 |
import org.eclipse.ui.internal.console.ConsoleDocumentAdapter; |
| 67 |
import org.eclipse.ui.internal.console.ConsoleHyperlinkPosition; |
63 |
import org.eclipse.ui.internal.console.ConsoleHyperlinkPosition; |
| 68 |
import org.eclipse.ui.progress.WorkbenchJob; |
64 |
import org.eclipse.ui.progress.WorkbenchJob; |
|
Lines 148-155
Link Here
|
| 148 |
// set the scroll Lock setting for Console Viewer and Console View |
144 |
// set the scroll Lock setting for Console Viewer and Console View |
| 149 |
private void setScrollLock(boolean lock) { |
145 |
private void setScrollLock(boolean lock) { |
| 150 |
userHoldsScrollLock.set(lock); |
146 |
userHoldsScrollLock.set(lock); |
| 151 |
if (scrollLockStateProvider != null && scrollLockStateProvider.getScrollLock() != lock) { |
147 |
if (scrollLockStateProvider != null && scrollLockStateProvider.getPageScrollLock() != lock) { |
| 152 |
scrollLockStateProvider.setScrollLock(lock); |
148 |
scrollLockStateProvider.setPageScrollLock(lock); |
| 153 |
} |
149 |
} |
| 154 |
} |
150 |
} |
| 155 |
|
151 |
|