blob: 269bde45da6a973ac681780f6492e3e37454a50c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
/*******************************************************************************
* Copyright (c) 2014, 2015 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
* *******************************************************************************/
package org.eclipse.ui.console;
/**
* Scroll lock provider for the text console viewer.
* <p>
* This interface allows a text console viewer to control the scroll lock state of its container, e.g. a view.
* </p>
* <p>
* Clients may implement this interface.
* </p>
*
* @since 3.6
*/
public interface IScrollLockStateProvider {
/**
* Sets the scroll lock state set by user manually.
*
* @param scrollLock <code>true</code> to turn scroll lock on, otherwise
* <code>false</code>
*/
public void setScrollLock(boolean scrollLock);
/**
* Sets the scroll lock state for the current page automatically due to
* user's action on console page.
*
* @param scrollLock <code>true</code> to turn scroll lock on, otherwise
* <code>false</code>
*/
public void setAutoScrollLock(boolean scrollLock);
/**
* Returns the scroll lock state of the current page set by user manually.
*
* @return <code>true</code> if scroll lock is on, <code>false</code>
* otherwise
*/
public boolean getScrollLock();
/**
* Returns the scroll lock state of the Page which was manually set by user
* or automatically set due to user's action on console page.
*
* @return <code>true</code> if scroll lock is on, <code>false</code>
* otherwise
*/
public boolean getAutoScrollLock();
}
|