CodeInput.hh

Go to the documentation of this file.

 
#pragma once
 
#include "DataCell.hh"
#include "DocumentThread.hh"
#include <gtkmm/box.h>
#include <gtkmm/textview.h>
#include <gtkmm/separator.h>
 
namespace cadabra {
 
 
    class CodeInput : public Gtk::VBox {
        public:
            using Prefs = cadabra::DocumentThread::Prefs;
 
            CodeInput(DTree::iterator, Glib::RefPtr<Gtk::TextBuffer>, double scale, const Prefs& prefs);
 
 
            CodeInput(DTree::iterator, const std::string&, double scale, const Prefs& prefs);
 
 
            class exp_input_tv : public Gtk::TextView {
                public:
                    exp_input_tv(DTree::iterator, Glib::RefPtr<Gtk::TextBuffer>, double scale);
                    virtual bool on_key_press_event(GdkEventKey*) override;
                    virtual bool on_draw(const Cairo::RefPtr<Cairo::Context>&) override;
                    virtual bool on_focus_in_event(GdkEventFocus *) override;
                    virtual void on_show() override;
 
                    void         shift_enter_pressed();
                    void         on_textbuf_change();
 
                    sigc::signal1<bool, DTree::iterator>                   content_execute;
                    sigc::signal1<bool, DTree::iterator>                   content_changed;
                    sigc::signal3<bool, std::string, int, DTree::iterator> content_insert;
                    sigc::signal3<bool, int, int, DTree::iterator>         content_erase;
                    sigc::signal1<bool, DTree::iterator>                   cell_got_focus;
                    sigc::signal2<bool, DTree::iterator, int>              complete_request;
 
                    friend CodeInput;
 
                private:
                    double scale_;
                    DTree::iterator datacell;
                };
 
 
            void enable_highlighting(DataCell::CellType cell_type, const Prefs& prefs);
            void disable_highlighting();
 
            void relay_cursor_pos(std::function<void(int, int)> callback);
 
 
            bool handle_button_press(GdkEventButton *);
 
 
            void handle_insert(const Gtk::TextIter& pos, const Glib::ustring& text, int bytes);
 
 
            void handle_erase(const Gtk::TextIter& start, const Gtk::TextIter& end);
 
 
            void update_buffer();
 
 
            void slice_cell(std::string& before, std::string& after);
 
 
            Glib::RefPtr<Gtk::TextBuffer> buffer;
 
            exp_input_tv                  edit;
 
        private:
            void init(const Prefs& prefs);
 
            void highlight_python();
            void highlight_latex();
 
            sigc::connection hl_conn; // Connection holding the syntax highlighting signal
        };
 
    }