Andreas Kling
f0cc712246
TextEditor: Use an automatic "modified" marker in the window title
...
This simplifies the application somewhat as we no longer need to
manually update the window title whenever the text document changes.
2021-05-01 19:42:29 +02:00
Andreas Kling
e9c40b0243
TextEditor: Plumb modified state from GUI::TextDocument to GUI::Window
...
Instead of tracking this stuff ourselves at the application level,
we now just act as an intermediary and pass along the information to
the windowing system.
2021-05-01 19:42:29 +02:00
Andreas Kling
e5ceabfbbb
TextEditor: Remove some unnecessary #include statements
2021-05-01 19:42:29 +02:00
Andreas Kling
b424e6c86f
TextEditor: Rename TextEditorWidget => TextEditor::MainWidget
2021-05-01 19:42:29 +02:00