fix for bug #49655 (thanks to P.Joyez)

mgubi · mgubi · commit d5670a85c82e · 2020-04-13T20:37:23.000Z
diff --git a/src/Plugins/Qt/qt_widget.cpp b/src/Plugins/Qt/qt_widget.cpp
@@ -27,7 +27,8 @@
  * qt_widget_rep: the base widget for the Qt port.
  ******************************************************************************/
 
-void tm_delete (qt_widget_rep* ptr) {
+template<>
+void tm_delete<qt_widget_rep> (qt_widget_rep* ptr) {
   void *mem= ptr->derived_this ();
   ptr -> ~qt_widget_rep ();
   fast_delete (mem);
diff --git a/src/Plugins/Qt/qt_widget.hpp b/src/Plugins/Qt/qt_widget.hpp
@@ -192,7 +192,9 @@ class qt_widget_rep : public widget_rep {
   }
 };
 
-
+template <>
+void tm_delete<qt_widget_rep>(qt_widget_rep *);
+ 
 /*! Reference counting mechanism.
 
  Like elsewhere in TeXmacs, this is a wrapper around its corresponding 

Original file line number	Diff line number	Diff line change
`@@ -192,7 +192,9 @@ class qt_widget_rep : public widget_rep {`
`192`	`192`	`}`
`193`	`193`	`};`
`194`	`194`
`195`		`-`
	`195`	`+template <>`
	`196`	`+void tm_delete<qt_widget_rep>(qt_widget_rep *);`
	`197`	`+`
`196`	`198`	`/*! Reference counting mechanism.`
`197`	`199`
`198`	`200`	`Like elsewhere in TeXmacs, this is a wrapper around its corresponding`