Gecko [ www.utparral.edu.mx ]

Name	Size	Permission
__pycache__	[ DIR ]	drwxr-xr-x
bookmarks.py	4.95 KB	-rw-r--r--
braille_generator.py	11.39 KB	-rw-r--r--
__init__.py	1.03 KB	-rw-r--r--
script.py	105.03 KB	-rw-r--r--
script_utilities.py	194.59 KB	-rw-r--r--
sound_generator.py	4.04 KB	-rw-r--r--
speech_generator.py	32.33 KB	-rw-r--r--
tutorial_generator.py	1.66 KB	-rw-r--r--

Code Editor : bookmarks.py

# Orca
#
# Copyright 2005-2008 Sun Microsystems Inc.
#
# This library is free software; you can redistribute it and/or
# modify it under the terms of the GNU Lesser General Public
# License as published by the Free Software Foundation; either
# version 2.1 of the License, or (at your option) any later version.
#
# This library 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
# Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public
# License along with this library; if not, write to the
# Free Software Foundation, Inc., Franklin Street, Fifth Floor,
# Boston MA  02110-1301 USA.

__id__        = "$Id$"
__version__   = "$Revision$"
__date__      = "$Date$"
__copyright__ = "Copyright (c) 2005-2008 Sun Microsystems Inc."
__license__   = "LGPL"

import pyatspi

from orca import bookmarks
from orca import messages

class Bookmarks(bookmarks.Bookmarks):

def __init__(self, script):
        super().__init__(script)
        self._currentbookmarkindex = {}

def addBookmark(self, inputEvent):
        """Add an in-page accessible object bookmark for this key and URI."""

index = (inputEvent.hw_code, self.getURIKey())
        obj, characterOffset = self._script.utilities.getCaretContext()
        path = self._objToPath()
        self._bookmarks[index] = path, characterOffset
        self._script.presentMessage(messages.BOOKMARK_ENTERED)

def goToBookmark(self, inputEvent, index=None):
        """Go to the bookmark indexed at this key and this page's URI."""

index = index or (inputEvent.hw_code, self.getURIKey())
        try:
            path, offset = self._bookmarks[index]
        except KeyError:
            self._script.systemBeep()
            return

obj = self.pathToObj(path)
        if not obj:
            self._script.systemBeep()
            return

self._script.utilities.setCaretPosition(obj, offset)
        contents = self._script.utilities.getObjectContentsAtOffset(obj, offset)
        self._script.speakContents(contents)
        self._script.displayContents(contents)
        self._currentbookmarkindex[index[1]] = index[0]

def saveBookmarks(self, inputEvent):
        """Save the bookmarks for this script."""

saved = {}
        for index, bookmark in self._bookmarks.items():
            saved[index] = bookmark[0], bookmark[1]

try:
            self.saveBookmarksToDisk(saved)
            self._script.presentMessage(messages.BOOKMARKS_SAVED)
        except IOError:
            self._script.presentMessage(messages.BOOKMARKS_SAVED_FAILURE)

for o in self._saveObservers:
            o()

def goToNextBookmark(self, inputEvent):
        """Go to the next bookmark location."""

# The convenience of using a dictionary to add/goto a bookmark is offset
        # by the difficulty in finding the next bookmark. We will need to sort
        # our keys to determine the next bookmark on a page-by-page basis.
        bm_keys = list(self._bookmarks.keys())
        current_uri = self.getURIKey()

# mine out the hardware keys for this page and sort them
        thispage_hwkeys = []
        for bm_key in bm_keys:
            if bm_key[1] == current_uri:
                thispage_hwkeys.append(bm_key[0])
        thispage_hwkeys.sort()

if len(thispage_hwkeys) == 0:
            self._script.systemBeep()
            return

if len(thispage_hwkeys) == 1 or current_uri not in self._currentbookmarkindex:
            self.goToBookmark(None, index=(thispage_hwkeys[0], current_uri))
            return

try:
            index = thispage_hwkeys.index(self._currentbookmarkindex[current_uri])
            self.goToBookmark(None, index=(thispage_hwkeys[index+1], current_uri))
        except (ValueError, KeyError, IndexError):
            self.goToBookmark(None, index=(thispage_hwkeys[0], current_uri))

def goToPrevBookmark(self, inputEvent):
        """Go to the previous bookmark location."""

bm_keys = list(self._bookmarks.keys())
        current_uri = self.getURIKey()

if len(thispage_hwkeys) == 0:
            self._script.systemBeep()
            return

if len(thispage_hwkeys) == 1 or current_uri not in self._currentbookmarkindex:
            self.goToBookmark(None, index=(thispage_hwkeys[0], current_uri))
            return

try:
            index = thispage_hwkeys.index(self._currentbookmarkindex[current_uri])
            self.goToBookmark(None, index=(thispage_hwkeys[index-1], current_uri))
        except (ValueError, KeyError, IndexError):
            self.goToBookmark(None, index=(thispage_hwkeys[0], current_uri))

${this.title}

Code Editor : bookmarks.py