Skip to content
Snippets Groups Projects
  • dt_'s avatar
    060778dd
    Handle internally triggered deletes more gracefull · 060778dd
    dt_ authored
    If the user has enabled "Reload unmodified" then on remove the
    unmodified editors are closed. Otherwise the user is asked as before.
    Also modify the message to indicate if the change was triggred
    externally.
    060778dd
    History
    Handle internally triggered deletes more gracefull
    dt_ authored
    If the user has enabled "Reload unmodified" then on remove the
    unmodified editors are closed. Otherwise the user is asked as before.
    Also modify the message to indicate if the change was triggred
    externally.