|
fltk 1.3.0rc3
About: FLTK (Fast Light Tool Kit) is a cross-platform C++ GUI toolkit for UNIX/Linux (X11), Microsoft Windows, and MacOS X. Release candidate.
SfR Fresh Dox: fltk-1.3.0rc3-source.tar.gz ("inofficial" and yet experimental doxygen-generated source code documentation) ![]() |
00001 // 00002 // "$Id$" 00003 // 00004 // FLUID undo definitions for the Fast Light Tool Kit (FLTK). 00005 // 00006 // Copyright 1998-2010 by Bill Spitzak and others. 00007 // 00008 // This library is free software; you can redistribute it and/or 00009 // modify it under the terms of the GNU Library General Public 00010 // License as published by the Free Software Foundation; either 00011 // version 2 of the License, or (at your option) any later version. 00012 // 00013 // This library is distributed in the hope that it will be useful, 00014 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00015 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00016 // Library General Public License for more details. 00017 // 00018 // You should have received a copy of the GNU Library General Public 00019 // License along with this library; if not, write to the Free Software 00020 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 00021 // USA. 00022 // 00023 // Please report all bugs and problems on the following page: 00024 // 00025 // http://www.fltk.org/str.php 00026 // 00027 00028 #ifndef undo_h 00029 # define undo_h 00030 00031 extern int undo_current; // Current undo level in buffer 00032 extern int undo_last; // Last undo level in buffer 00033 extern int undo_save; // Last undo level that was saved 00034 00035 void redo_cb(Fl_Widget *, void *); // Redo menu callback 00036 void undo_cb(Fl_Widget *, void *); // Undo menu callback 00037 void undo_checkpoint(); // Save current file to undo buffer 00038 void undo_clear(); // Clear undo buffer 00039 void undo_resume(); // Resume undo checkpoints 00040 void undo_suspend(); // Suspend undo checkpoints 00041 00042 #endif // !undo_h 00043 00044 // 00045 // End of "$Id$". 00046 //