Back to index

texmacs  1.0.7.15
tm_server.hpp
Go to the documentation of this file.
00001 
00002 /******************************************************************************
00003 * MODULE     : tm_server.hpp
00004 * DESCRIPTION: Main current graphical interface for user applications
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 TM_SERVER_H
00013 #define TM_SERVER_H
00014 #include "timer.hpp"
00015 #include "tm_config.hpp"
00016 #include "tm_buffer.hpp"
00017 #include "tm_frame.hpp"
00018 #include "tm_data.hpp"
00019 
00020 class tm_server_rep:
00021   public tm_config_rep,
00022   public tm_frame_rep
00023 {
00024 protected:
00025   tm_view vw;             // current editor
00026   int def_sfactor;        // default shrinking factor
00027 
00028 public:
00029   tm_server_rep ();
00030   ~tm_server_rep ();
00031 
00032   /* Get and set objects associated to server */
00033   server_rep* get_server ();
00034   bool        has_view ();
00035   bool        has_window ();
00036   tm_view     get_view (bool must_be_valid= true);
00037   void        set_view (tm_view vw);
00038   tm_buffer   get_buffer ();
00039   editor      get_editor ();
00040   tm_window   get_window ();
00041   int         get_nr_windows ();
00042 
00043   /* Miscellaneous routines */
00044   void   style_clear_cache ();
00045   void   refresh ();
00046   void   interpose_handler ();
00047   void   wait_handler (string message, string arg);
00048   void   set_script_status (int i);
00049   void   focus_on_editor (editor ed);
00050   void   set_printing_command (string s);
00051   void   set_printer_page_type (string s);
00052   string get_printer_page_type ();
00053   void   set_printer_dpi (string dpi);
00054   void   set_default_shrinking_factor (int sf);
00055   int    get_default_shrinking_factor ();
00056   void   image_gc (string which);
00057   void   inclusions_gc (string which);
00058   void   typeset_update (path p);
00059   void   typeset_update_all ();
00060   bool   is_yes (string s);
00061   void   quit ();
00062   void   shell    (string s);
00063 };
00064 
00065 #endif // defined TM_SERVER_H