Merge branch 'main' into devtools

2024-05-16 06:44:27 +03:00
parent e4fe4a6f12 a678eddb77
commit 46e9c7dbec
8 changed files with 132 additions and 16 deletions
@@ -52,6 +52,7 @@ namespace gui {
        bool eraseSelected();
        void resetSelection();
        void extendSelection(int index);
+        void tokenSelectAt(int index);
        size_t getLineLength(uint line) const;

        /// @brief Get total length of the selection 
@@ -151,6 +152,7 @@ namespace gui {

        virtual void onFocus(GUI*) override;
        virtual void refresh() override;
+        virtual void doubleClick(GUI*, int x, int y) override;
        virtual void click(GUI*, int, int) override;
        virtual void mouseMove(GUI*, int x, int y) override;
        virtual bool isFocuskeeper() const override {return true;}