HackStudio: Fix update modified document on tab widget

Closes #14297
This commit is contained in:
Federico Guerinoni 2022-08-04 16:23:11 +02:00 committed by Sam Atkins
commit 8753dc72e8
Notes: sideshowbarker 2024-07-18 02:13:10 +09:00
4 changed files with 11 additions and 2 deletions

View file

@ -21,6 +21,7 @@ void open_file(String const&, size_t line, size_t column);
Project& project();
String currently_open_file();
void set_current_editor_wrapper(RefPtr<EditorWrapper>);
void update_editor_window_title();
void for_each_open_file(Function<void(ProjectFile const&)>);
bool semantic_syntax_highlighting_is_enabled();