diff options
Diffstat (limited to 'DevTools/HackStudio/Editor.h')
| -rw-r--r-- | DevTools/HackStudio/Editor.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/DevTools/HackStudio/Editor.h b/DevTools/HackStudio/Editor.h index 69561b39ce..0d83145660 100644 --- a/DevTools/HackStudio/Editor.h +++ b/DevTools/HackStudio/Editor.h @@ -77,7 +77,6 @@ private: bool m_hovering_editor { false }; bool m_hovering_link { false }; bool m_holding_ctrl { false }; - bool m_hovering_lines_ruler { false }; Vector<size_t> m_breakpoint_lines; Optional<size_t> m_execution_position; |