michael@0: /* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this file,
michael@0:  * You can obtain one at http://mozilla.org/MPL/2.0/.
michael@0:  *
michael@0:  * The origin of this IDL file is
michael@0:  * http://dvcs.w3.org/hg/undomanager/raw-file/tip/undomanager.html
michael@0:  *
michael@0:  * Copyright © 2012 W3C® (MIT, ERCIM, Keio), All Rights Reserved. W3C
michael@0:  * liability, trademark and document use rules apply.
michael@0:  */
michael@0: 
michael@0: [Pref="dom.undo_manager.enabled"]
michael@0: interface UndoManager {
michael@0:   [Throws] void transact(DOMTransaction transaction, boolean merge);
michael@0:   [Throws] void undo();
michael@0:   [Throws] void redo();
michael@0:   [Throws] sequence<DOMTransaction>? item(unsigned long index);
michael@0:   [Throws] readonly attribute unsigned long length;
michael@0:   [Throws] readonly attribute unsigned long position;
michael@0:   [Throws] void clearUndo();
michael@0:   [Throws] void clearRedo();
michael@0: };
michael@0: