Andreas Kling b1763238d7 TextEditor: Ask the user before closing a dirty (modified) document ...

It's a little unfortunate that we have two separate code paths that can
lead to asking the user about this. Longer-term we should find a way to
unify these things.

Fixes #491.

2019-08-27 20:39:01 +02:00

741 B

Raw Blame History

View Raw