Back to index

texmacs  1.0.7.15
edit_dynamic.hpp
Go to the documentation of this file.
00001 
00002 /******************************************************************************
00003 * MODULE     : edit_dynamic.hpp
00004 * DESCRIPTION: Main routines for the modification of dynamic content
00005 * COPYRIGHT  : (C) 1999  Joris van der Hoeven
00006 *******************************************************************************
00007 * This software falls under the GNU general public license version 3 or later.
00008 * It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
00009 * in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
00010 ******************************************************************************/
00011 
00012 #ifndef EDIT_DYNAMIC_H
00013 #define EDIT_DYNAMIC_H
00014 #include "editor.hpp"
00015 
00016 class edit_dynamic_rep: virtual public editor_rep {
00017 public:
00018   edit_dynamic_rep ();
00019   ~edit_dynamic_rep ();
00020 
00021   bool in_source ();
00022   path find_dynamic (path p);
00023 
00024   bool is_multi_paragraph_macro (tree t);
00025   void make_compound (tree_label l, int n);
00026   void activate ();
00027 
00028   void go_to_argument (path p, bool start_flag);
00029   void insert_argument (path p, bool forward);
00030   void insert_argument (bool forward);
00031   void remove_empty_argument (path p, bool forward);
00032   void remove_argument (path p, bool forward);
00033   void remove_argument (bool forward);
00034 
00035   void back_monolithic (path p);
00036   void back_general (path p, bool forward);
00037   void back_in_general (tree t, path p, bool forward);
00038 
00039   void make_with (string var, string val);
00040   void insert_with (path p, string var, tree val);
00041   void remove_with (path p, string var);
00042   void back_in_with (tree t, path p, bool forward);
00043 
00044   void make_mod_active (tree_label l);
00045   void insert_style_with (path p, string var, string val);
00046   void make_style_with (string var, string val);
00047 
00048   void make_hybrid ();
00049   bool activate_latex ();
00050   void activate_hybrid (bool with_args_hint);
00051   void activate_symbol ();
00052 
00053   bool make_return_before ();
00054   bool make_return_after ();
00055   void temp_proof_fix ();
00056 };
00057 
00058 #endif // defined EDIT_DYNAMIC_H