![]() |
Cadabra
Computer algebra system for field theory problems
|
#include <Console.hh>
Classes | |
| class | TextViewProxy |
Public Types | |
| enum class | Position : int { Hidden =0 , DockedH =1 , DockedV =2 , Floating =3 } |
Public Member Functions | |
| Console (sigc::slot< void > run_slot) | |
| void | initialize () |
| void | send_input (const std::string &code) |
| std::string | grab_input (uint64_t &id) |
| void | signal_message (const nlohmann::json &msg) |
| void | scroll_to_bottom () |
Private Member Functions | |
| void | set_input (const Glib::ustring &line, size_t range_start=std::string::npos, size_t range_end=std::string::npos) |
| void | prompt (bool continuation, bool newline=false) |
| void | create_cell (uint64_t parent_id, uint64_t cell_id) |
| uint64_t | get_server_cell () |
| void | insert_text (uint64_t cell_id, const std::string &text, const Glib::RefPtr< Gtk::TextTag > &tag) |
| void | insert_graphic (uint64_t cell_id, const std::string &bytes) |
| void | insert_tex (uint64_t cell_id, const std::shared_ptr< TeXEngine::TeXRequest > &content) |
| void | process_message_queue () |
| virtual bool | on_configure_event (GdkEventConfigure *cfg) override |
Private Attributes | |
| Glib::Dispatcher | dispatch_message |
| Glib::Dispatcher | run |
| bool | needs_focus |
| Glib::RefPtr< Gtk::TextBuffer > | buffer |
| std::string | collect |
| std::queue< nlohmann::json > | message_queue |
| std::queue< std::pair< std::string, Glib::RefPtr< Gtk::TextMark > > > | run_queue |
| TeXEngine | tex_engine |
| std::map< uint64_t, Glib::RefPtr< Gtk::TextMark > > | cells |
| uint64_t | server_cell_id |
| Glib::RefPtr< Gtk::TextMark > | input_begin |
| Glib::RefPtr< Gtk::TextMark > | prompt_begin |
| Glib::RefPtr< Gtk::TextTag > | prompt_tag |
| Glib::RefPtr< Gtk::TextTag > | input_tag |
| Glib::RefPtr< Gtk::TextTag > | output_tag |
| Glib::RefPtr< Gtk::TextTag > | warning_tag |
| Glib::RefPtr< Gtk::TextTag > | error_tag |
| TextViewProxy | input |
| Gtk::TextView | tv |
| Gtk::ScrolledWindow | win |
|
strong |
| Console::Console | ( | sigc::slot< void > | run_slot | ) |
|
private |
|
private |
| std::string Console::grab_input | ( | uint64_t & | id | ) |
| void Console::initialize | ( | ) |
|
private |
|
private |
|
private |
|
overrideprivatevirtual |
|
private |
|
private |
| void Console::scroll_to_bottom | ( | ) |
| void Console::send_input | ( | const std::string & | code | ) |
|
private |
| void Console::signal_message | ( | const nlohmann::json & | msg | ) |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |