Safe changed files and clear message view

Ref. #243
AdaCore · Jul 6, 2020 · 4f0d69e · 4f0d69e
1 parent 8a9f570
commit 4f0d69e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/ide/gnatstudio/recordflux.py b/ide/gnatstudio/recordflux.py
@@ -53,6 +53,8 @@
          <filter id="RecordFlux"/>
          <filter id="Source editor"/>
       </filter_and>
+      <shell show-command="false">MDI.save_all</shell>
+      <shell show-command="false">Locations.remove_category "RecordFlux"</shell>
       <external>rflx check %F</external>
       <on-failure>
          <shell lang="python" show-command="false">recordflux.parse_output(&quot;&quot;&quot;%1&quot;&quot;&quot;)</shell>
@@ -61,6 +63,8 @@
 
    <action name="check_all">
       <filter id="File"/>
+      <shell show-command="false">MDI.save_all</shell>
+      <shell show-command="false">Locations.remove_category "RecordFlux"</shell>
       <shell lang="python" show-command="false">recordflux.get_source_files()</shell>
       <external>rflx check %1"</external>
       <on-failure>
@@ -73,6 +77,8 @@
          <filter id="RecordFlux"/>
          <filter id="Source editor"/>
       </filter_and>
+      <shell show-command="false">MDI.save_all</shell>
+      <shell show-command="false">Locations.remove_category "RecordFlux"</shell>
       <external>rflx generate -d generated %F</external>
       <on-failure>
          <shell lang="python" show-command="false">recordflux.parse_output(&quot;&quot;&quot;%1&quot;&quot;&quot;)</shell>
@@ -83,6 +89,8 @@
       <filter_and>
          <filter id="File"/>
       </filter_and>
+      <shell show-command="false">MDI.save_all</shell>
+      <shell show-command="false">Locations.remove_category "RecordFlux"</shell>
       <shell lang="python" show-command="false">recordflux.get_source_files()</shell>
       <external>rflx generate -d generated %1"</external>
       <on-failure>