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
|
#------------------------------------------------------------------------------
# Copyright (c) 2008, Riverbank Computing Limited
# All rights reserved.
#
# This software is provided without warranty under the terms of the BSD
# license included in enthought/LICENSE.txt and may be redistributed only
# under the conditions described in the aforementioned license. The license
# is also available online at http://www.enthought.com/licenses/BSD.txt
# Thanks for using Enthought open source!
#
# Author: Riverbank Computing Limited
# Description: <Enthought undo package component>
#------------------------------------------------------------------------------
from __future__ import absolute_import
# Enthought library imports.
from traits.api import Bool, Event, Instance, Int, Interface, Unicode
class IUndoManager(Interface):
""" The undo manager interface. An undo manager is responsible for one or
more command stacks. Typically an application would have a single undo
manager.
"""
#### 'IUndoManager' interface #############################################
# This is the currently active command stack and may be None. Typically it
# is set when some sort of editor becomes active.
active_stack = Instance('apptools.undo.api.ICommandStack')
# This reflects the clean state of the currently active command stack. It
# is intended to support a "document modified" indicator in the GUI. It is
# maintained by the undo manager.
active_stack_clean = Bool
# This is the name of the command that can be redone. It will be empty if
# there is no command that can be redone. It is maintained by the undo
# manager.
redo_name = Unicode
# This is the sequence number of the next command to be performed. It is
# incremented immediately before a command is invoked (by its 'do()'
# method).
sequence_nr = Int
# This event is fired when the index of a command stack changes. Note that
# it may not be the active stack.
stack_updated = Event(Instance('apptools.undo.api.ICommandStack'))
# This is the name of the command that can be undone. It will be empty if
# there is no command that can be undone. It is maintained by the undo
# manager.
undo_name = Unicode
###########################################################################
# 'IUndoManager' interface.
###########################################################################
def redo(self):
""" Redo the last undone command of the active command stack. """
def undo(self):
""" Undo the last command of the active command stack. """
|
