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::Box {
        public:
            using Prefs = cadabra::DocumentThread::Prefs;
 
            CodeInput(DTree::iterator, Glib::RefPtr<Gtk::TextBuffer>, double scale, double display_scale, const Prefs& prefs,
                         Glib::RefPtr<Gtk::Adjustment>);
 
 
            CodeInput(DTree::iterator, const std::string&, double scale, double display_scale, const Prefs& prefs,
                         Glib::RefPtr<Gtk::Adjustment>);
 
 
            virtual void on_size_allocate(Gtk::Allocation& allocation) override;
            
 
            class exp_input_tv : public Gtk::TextView {
                public:
                    exp_input_tv(DTree::iterator, Glib::RefPtr<Gtk::TextBuffer>,
                                     double scale,
                                     double display_scale,
                                     Glib::RefPtr<Gtk::Adjustment>);
                    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 bool on_focus_out_event(GdkEventFocus *) override;
                    virtual void on_show() override;
 
                    virtual Gtk::SizeRequestMode get_request_mode_vfunc() const override;
                    virtual void get_preferred_width_for_height_vfunc(int height, int& minimum_width, int& natural_width) const  override;
                    virtual bool on_motion_notify_event(GdkEventMotion *event) override;
                    virtual void on_size_allocate(Gtk::Allocation& allocation) 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;
 
                    int                           window_width = 100;
                private:
                    double                        scale_, display_scale_;
                    DTree::iterator               datacell;
                    Glib::RefPtr<Gtk::Adjustment> vadjustment;
                    double                        previous_value = -99.0;
                };
 
 
            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, double display_scale);
 
            void highlight_python();
            void highlight_latex();
 
            sigc::connection hl_conn; // Connection holding the syntax highlighting signal
        };
 
    }