/usr/lib/gedit/plugins/latex/windowcontext.py is in gedit-latex-plugin 3.8.0-3build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 | # -*- coding: utf-8 -*-
# This file is part of the Gedit LaTeX Plugin
#
# Copyright (C) 2010 Michael Zeising
#
# This program is free software; you can redistribute it and/or modify it under
# the terms of the GNU General Public Licence as published by the Free Software
# Foundation; either version 2 of the Licence, or (at your option) any later
# version.
#
# This program is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
# FOR A PARTICULAR PURPOSE. See the GNU General Public Licence for more
# details.
#
# You should have received a copy of the GNU General Public Licence along with
# this program; if not, write to the Free Software Foundation, Inc., 51 Franklin
# Street, Fifth Floor, Boston, MA 02110-1301, USA
"""
base
These classes form the interface exposed by the plugin base layer.
"""
import logging
from .file import File
LOG = logging.getLogger(__name__)
class WindowContext(object):
"""
The WindowContext is passed to Editors and is used to
* retrieve View instances
* activate a specific Editor instance
* retrieve the currently active Editor
This also creates and destroys the View instances.
"""
def __init__(self, window_decorator, editor_view_classes):
"""
@param window_decorator: the GeditWindowDecorator this context corresponds to
@param editor_view_classes: a map from extension to list of View classes
"""
self._window_decorator = window_decorator
self._editor_view_classes = editor_view_classes
self.editor_views = {} # maps Editor object to a map from ID to View object
def create_editor_views(self, editor, file):
"""
Create instances of the editor specific Views for a given Editor instance
and File
Called by Editor base class
"""
self.editor_views[editor] = {}
try:
for id, clazz in self._editor_view_classes[file.extension].items():
# create View instance and add it to the map
self.editor_views[editor][id] = clazz(self, editor)
LOG.debug("Created view " + id)
except KeyError:
LOG.debug("No views for %s" % file.extension)
###
# public interface
@property
def active_editor(self):
"""
Return the active Editor instance
"""
return self._window_decorator._active_tab_decorator.editor
def activate_editor(self, file):
"""
Activate the Editor containing a given File or open a new tab for it
@param file: a File object
@raise AssertError: if the file is no File object
"""
assert type(file) is File
self._window_decorator.activate_tab(file)
def find_view(self, editor, view_id):
"""
Return a View object
"""
try:
return self.editor_views[editor][view_id]
except KeyError:
LOG.critical("Unknown view id: %s (we have: %s)" % (
view_id,
",".join(list(self.editor_views.get(editor,{}).keys()))))
def set_action_enabled(self, action_id, enabled):
"""
Enable/disable an IAction object
"""
self._window_decorator._action_group.get_action(action_id).set_sensitive(enabled)
def destroy(self):
# unreference the window decorator
del self._window_decorator
# ex:ts=4:et:
|