~ubuntu-branches/ubuntu/utopic/eclipse-eclox/utopic

« back to all changes in this revision

Viewing changes to eclox.ui/src/eclox/ui/editor/Location.java

  • Committer: Package Import Robot
  • Author(s): Graham Inggs
  • Date: 2013-07-07 20:33:10 UTC
  • Revision ID: package-import@ubuntu.com-20130707203310-a44yw80gqtc2s9ob
Tags: upstream-0.10.0
ImportĀ upstreamĀ versionĀ 0.10.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
/*******************************************************************************
 
2
 * Copyright (C) 2003-2013, Guillaume Brocker
 
3
 * 
 
4
 * All rights reserved. This program and the accompanying materials
 
5
 * are made available under the terms of the Eclipse Public License v1.0
 
6
 * which accompanies this distribution, and is available at
 
7
 * http://www.eclipse.org/legal/epl-v10.html
 
8
 *
 
9
 * Contributors:
 
10
 *     Guillaume Brocker - Initial API and implementation
 
11
 *
 
12
 ******************************************************************************/ 
 
13
 
 
14
package eclox.ui.editor;
 
15
 
 
16
import org.eclipse.ui.IMemento;
 
17
import org.eclipse.ui.INavigationLocation;
 
18
import org.eclipse.ui.NavigationLocation;
 
19
 
 
20
/**
 
21
 * Implements the navigation location used for the doxyfile editor.
 
22
 * 
 
23
 * @author Guillaume Brocker
 
24
 */
 
25
public class Location extends NavigationLocation {
 
26
        
 
27
        private final String PAGE_KEY           = "page";
 
28
        private final String SETTING_KEY        = "setting";
 
29
        
 
30
        private String page;
 
31
        private String setting;
 
32
        
 
33
        public Location( Editor editor ) {
 
34
                super( editor );
 
35
                
 
36
                this.page = editor.getActivePageInstance().getId();
 
37
        }
 
38
 
 
39
        public boolean mergeInto(INavigationLocation currentLocation) {
 
40
                // TODO Auto-generated method stub
 
41
                return false;
 
42
        }
 
43
 
 
44
        public void restoreLocation() {
 
45
                // TODO Auto-generated method stub
 
46
                
 
47
        }
 
48
 
 
49
        public void restoreState(IMemento memento) {
 
50
                page    = memento.getString(PAGE_KEY);
 
51
                setting = memento.getString(SETTING_KEY);               
 
52
        }
 
53
 
 
54
        public void saveState(IMemento memento) {
 
55
                memento.putString(PAGE_KEY, page);
 
56
                memento.putString(SETTING_KEY, setting);                
 
57
        }
 
58
 
 
59
        public void update() {
 
60
                // TODO Auto-generated method stub
 
61
                
 
62
        }
 
63
 
 
64
}