# HG changeset patch # User Markus Mützel # Date 1607789789 -3600 # Node ID 4df23e9ed4dd4756ce2bd36f034fb1d0010099ad # Parent 7d262c7f8b1d30457d06f021245356df3054fa8e# Parent bd5961abe971b6f46f4f2bdb6aed720e7dcb79f9 maint: merge stable to default. diff -r 7d262c7f8b1d -r 4df23e9ed4dd libgui/src/m-editor/file-editor-tab.cc