 |
Cadabra
Computer algebra system for field theory problems
|
Go to the documentation of this file.
29 Console(sigc::slot<void> run_slot);
34 void set_input(
const Glib::ustring& line,
size_t range_start = std::string::npos,
size_t range_end = std::string::npos);
46 void insert_text(
const std::string& text, Glib::RefPtr<Gtk::TextTag> tag);
48 void prompt(
bool continuation,
bool newline =
false);
60 Gtk::ScrolledWindow
win;
Glib::RefPtr< Gtk::TextTag > output_tag
Definition: Console.hh:64
~Console()
Definition: Console.cc:158
std::string collect
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:291
void insert_text(const std::string &text, Glib::RefPtr< Gtk::TextTag > tag)
Definition: Console.cc:309
Console(sigc::slot< void > run_slot)
Definition: Console.cc:100
std::string grab_input()
Definition: Console.cc:210
Glib::RefPtr< Gtk::TextTag > warning_tag
Definition: Console.hh:64
uint64_t get_id() const
Definition: Console.cc:341
void insert_graphic(const std::string &bytes)
Definition: Console.cc:317
Glib::RefPtr< Gtk::TextBuffer::Mark > prompt_begin
Definition: Console.hh:63
Glib::RefPtr< Gtk::TextBuffer::Mark > input_begin
Definition: Console.hh:63
Glib::RefPtr< Gtk::TextTag > error_tag
Definition: Console.hh:64
Console & parent
Definition: Console.hh:20
Definition: Console.hh:11
Glib::RefPtr< Gtk::TextBuffer > get_buffer()
Definition: Console.cc:286
TextViewProxy input
Definition: Console.hh:61
void prompt(bool continuation, bool newline=false)
Definition: Console.cc:331
void set_height(int px)
Definition: Console.cc:171
TextViewProxy(Console &parent)
Definition: Console.cc:23
void signal_message(const Json::Value &msg)
Definition: Console.cc:217
void send_input(const std::string &code)
Definition: Console.cc:180
bool needs_focus
Definition: Console.hh:56
bool on_key_press_event(GdkEventKey *key_event) override
Definition: Console.cc:31
void initialize()
Definition: Console.cc:163
std::list< std::string > history
Definition: Console.hh:23
Definition: Console.hh:27
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:80
Glib::Dispatcher dispatch_message
Definition: Console.hh:52
Gtk::TextView tv
Definition: Console.hh:62
Glib::Dispatcher run
Definition: Console.hh:53
uint64_t id_
Definition: Console.hh:54
std::queue< std::string > run_queue
Definition: Console.hh:59
Glib::RefPtr< Gtk::TextTag > input_tag
Definition: Console.hh:64
size_t history_max_length
Definition: Console.hh:15
std::string temp_in
Definition: Console.hh:22
Gtk::ScrolledWindow win
Definition: Console.hh:60
void process_message_queue()
Definition: Console.cc:223
void scroll_to_bottom()
Definition: Console.cc:152
std::queue< Json::Value > message_queue
Definition: Console.hh:58
std::list< std::string >::iterator history_ptr
Definition: Console.hh:24