Package de.fu_berlin.inf.dpp.editor.RemoteEditorManager

Examples of de.fu_berlin.inf.dpp.editor.RemoteEditorManager.RemoteEditorState


            if (user.isLocal()) {
                continue;
            }

            RemoteEditorState remoteEditorState = remoteEditorManager
                .getEditorState(user);
            if (!(remoteEditorState.isRemoteOpenEditor(path) && remoteEditorState
                .isRemoteActiveEditor(path))) {
                continue;
            }

            RemoteEditor remoteEditor = remoteEditorState.getRemoteEditor(path);

            if (user.hasWriteAccess() || user.equals(followedUser)) {
                ILineRange viewport = remoteEditor.getViewport();
                if (viewport != null) {
                    editorAPI.setViewportAnnotation(editorPart, viewport, user);
View Full Code Here

TOP

Related Classes of de.fu_berlin.inf.dpp.editor.RemoteEditorManager.RemoteEditorState

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.