|
|
|
|
@ -15,6 +15,7 @@ public:
|
|
|
|
|
void add_widgets(); |
|
|
|
|
void save_session(); |
|
|
|
|
void load_session(std::vector<boost::filesystem::path> &directories, std::vector<std::pair<boost::filesystem::path, size_t>> &files, std::vector<std::pair<int, int>> &file_offsets, boost::filesystem::path ¤t_file, bool read_directories_and_files); |
|
|
|
|
void set_title(const boost::filesystem::path &p); |
|
|
|
|
|
|
|
|
|
protected: |
|
|
|
|
bool on_key_press_event(GdkEventKey *event) override; |
|
|
|
|
@ -24,7 +25,6 @@ private:
|
|
|
|
|
Gtk::AboutDialog about; |
|
|
|
|
Gtk::ScrolledWindow directories_scrolled_window, terminal_scrolled_window; |
|
|
|
|
Gtk::Overlay status_overlay; |
|
|
|
|
|
|
|
|
|
void configure(); |
|
|
|
|
void set_menu_actions(); |
|
|
|
|
void search_and_replace_entry(); |
|
|
|
|
|