Use wxBufferedPaintDC for wxStyledTextCtrl drawing in wxGTK.
[wxWidgets.git] / build / bakefiles / files.bkl
index 9842bc800b1ab3d4533c2666df68c16ee2f2494b..b81e1903c7aa59ff8575834fe5729e127b0a3e17 100644 (file)
@@ -3631,6 +3631,7 @@ IMPORTANT: please read docs/tech/tn0016.txt before modifying this file!
     src/aui/auibar.cpp
     src/aui/tabmdi.cpp
     src/aui/tabart.cpp
+    src/xrc/xh_auinotbk.cpp
     $(AUI_GTK_SRC)
 </set>
 <set var="AUI_HDR" hints="files">
@@ -3642,6 +3643,7 @@ IMPORTANT: please read docs/tech/tn0016.txt before modifying this file!
     wx/aui/tabmdi.h
     wx/aui/aui.h
     wx/aui/tabart.h
+    wx/xrc/xh_auinotbk.h
     $(AUI_GTK_HDR)
 </set>
 
@@ -3660,6 +3662,7 @@ IMPORTANT: please read docs/tech/tn0016.txt before modifying this file!
     src/ribbon/page.cpp
     src/ribbon/panel.cpp
     src/ribbon/toolbar.cpp
+    src/xrc/xh_ribbon.cpp
 </set>
 <set var="RIBBON_HDR" hints="files">
     wx/ribbon/art.h
@@ -3671,6 +3674,7 @@ IMPORTANT: please read docs/tech/tn0016.txt before modifying this file!
     wx/ribbon/page.h
     wx/ribbon/panel.h
     wx/ribbon/toolbar.h
+    wx/xrc/xh_ribbon.h
 </set>
 
 <!-- ====================================================================== -->