Merge branch 'dev' into issue1474

This commit is contained in:
rfranke
2020-02-23 11:24:56 +01:00
187 changed files with 6559 additions and 5953 deletions

View File

@@ -40,7 +40,7 @@ public:
//~InspectorBuffer();
};
class Inspector : public Gtk::DrawingArea
class Inspector final : public Gtk::DrawingArea
{
private: