Applied patch #1431193: work around for recent fileuri change in mediactrl + fix

[wxWidgets.git] / wxPython / src / gtk / html_wrap.cpp

diff --git a/wxPython/src/gtk/html_wrap.cpp b/wxPython/src/gtk/html_wrap.cpp
index 0d97a4bd0c6e6a73fe9a146f2a96313d5429f5ae..cd994bbb9c5c44ebd6fd2fd83e537ce10e431a09 100644 (file)
--- a/wxPython/src/gtk/html_wrap.cpp
+++ b/wxPython/src/gtk/html_wrap.cpp
@@ -2119,7 +2119,6 @@ public:
     }
 
     void OnLinkClicked(const wxHtmlLinkInfo& link);
-//-    void base_OnLinkClicked(const wxHtmlLinkInfo& link);
 
     wxHtmlOpeningStatus OnOpeningURL(wxHtmlURLType type,
                                       const wxString& url,
@@ -2149,9 +2148,6 @@ void wxPyHtmlWindow::OnLinkClicked(const wxHtmlLinkInfo& link) {
     if (! found)
         wxHtmlWindow::OnLinkClicked(link);
 }
-// void wxPyHtmlWindow::base_OnLinkClicked(const wxHtmlLinkInfo& link) {
-//     wxHtmlWindow::OnLinkClicked(link);
-// }
 
 
 wxHtmlOpeningStatus wxPyHtmlWindow::OnOpeningURL(wxHtmlURLType type,