 |
Cadabra
Computer algebra system for field theory problems
|
Go to the documentation of this file.
6 #include "nlohmann/json.hpp"
7 #include "../common/TeXEngine.hh"
27 Console(sigc::slot<void> run_slot);
64 void set_input(
const Glib::ustring& line,
size_t range_start = std::string::npos,
size_t range_end = std::string::npos);
67 void prompt(
bool continuation,
bool newline =
false);
70 void create_cell(uint64_t parent_id, uint64_t cell_id);
76 void insert_text(uint64_t cell_id,
const std::string& text,
const Glib::RefPtr<Gtk::TextTag>& tag);
78 void insert_tex(uint64_t cell_id,
const std::shared_ptr<TeXEngine::TeXRequest>& content);
89 Glib::RefPtr<Gtk::TextBuffer>
buffer;
92 std::queue<std::pair<std::string, Glib::RefPtr<Gtk::TextMark>>>
run_queue;
94 std::map<uint64_t, Glib::RefPtr<Gtk::TextMark>>
cells;
Definition: Console.hh:50
Position
Definition: Console.hh:17
Glib::RefPtr< Gtk::TextMark > prompt_begin
Definition: Console.hh:97
void send_input(const std::string &code)
Definition: Console.cc:168
std::map< uint64_t, Glib::RefPtr< Gtk::TextMark > > cells
Definition: Console.hh:94
virtual bool on_configure_event(GdkEventConfigure *cfg) override
Definition: Console.cc:407
std::string grab_input(uint64_t &id)
Definition: Console.cc:201
Glib::Dispatcher run
Definition: Console.hh:86
std::list< std::string >::iterator history_ptr
Definition: Console.hh:60
void signal_message(const nlohmann::json &msg)
Definition: Console.cc:211
uint64_t server_cell_id
Definition: Console.hh:95
bool needs_focus
Definition: Console.hh:88
Console & parent
Definition: Console.hh:57
void set_input(const Glib::ustring &line, size_t range_start=std::string::npos, size_t range_end=std::string::npos)
Definition: Console.cc:223
void insert_graphic(uint64_t cell_id, const std::string &bytes)
Definition: Console.cc:290
size_t history_max_length
Definition: Console.hh:54
void create_cell(uint64_t parent_id, uint64_t cell_id)
Definition: Console.cc:251
uint64_t get_server_cell()
Definition: Console.cc:268
std::string temp_in
Definition: Console.hh:58
std::queue< std::pair< std::string, Glib::RefPtr< Gtk::TextMark > > > run_queue
Definition: Console.hh:92
bool on_key_press_event(GdkEventKey *key_event) override
Definition: Console.cc:31
void initialize()
Definition: Console.cc:158
TeXEngine tex_engine
Definition: Console.hh:93
Definition: Console.hh:15
Glib::RefPtr< Gtk::TextMark > input_begin
Definition: Console.hh:96
Console(sigc::slot< void > run_slot)
Definition: Console.cc:100
Definition: TeXEngine.hh:23
Glib::RefPtr< Gtk::TextTag > output_tag
Definition: Console.hh:98
Glib::RefPtr< Gtk::TextBuffer > buffer
Definition: Console.hh:89
Glib::RefPtr< Gtk::TextTag > error_tag
Definition: Console.hh:98
void insert_text(uint64_t cell_id, const std::string &text, const Glib::RefPtr< Gtk::TextTag > &tag)
Definition: Console.cc:284
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
Glib::RefPtr< Gtk::TextTag > input_tag
Definition: Console.hh:98
std::queue< nlohmann::json > message_queue
Definition: Console.hh:91
void prompt(bool continuation, bool newline=false)
Definition: Console.cc:241
TextViewProxy input
Definition: Console.hh:99
TextViewProxy(Console &parent)
Definition: Console.cc:23
std::string collect
Definition: Console.hh:90
Glib::RefPtr< Gtk::TextTag > warning_tag
Definition: Console.hh:98
Glib::Dispatcher dispatch_message
Definition: Console.hh:85
Gtk::TextView tv
Definition: Console.hh:100
Glib::RefPtr< Gtk::TextTag > prompt_tag
Definition: Console.hh:98
void process_message_queue()
Definition: Console.cc:322
void scroll_to_bottom()
Definition: Console.cc:217
void insert_tex(uint64_t cell_id, const std::shared_ptr< TeXEngine::TeXRequest > &content)
Definition: Console.cc:308
std::list< std::string > history
Definition: Console.hh:59
Gtk::ScrolledWindow win
Definition: Console.hh:101