remove unused variable assignment, closes #14928

[wxWidgets.git] / include / wx / aui / dockart.h

diff --git a/include/wx/aui/dockart.h b/include/wx/aui/dockart.h
index b070cfab0b3b9b9be45592d7d9e6ca22b9a15d26..c7b89f9a1fbf1648930ff44f0ca016d0a6a5a940 100644 (file)
--- a/include/wx/aui/dockart.h
+++ b/include/wx/aui/dockart.h
@@ -29,125 +29,148 @@
 // functionality to the wxAui dock manager.  This allows the dock
 // manager to have plugable look-and-feels
 
 // functionality to the wxAui dock manager.  This allows the dock
 // manager to have plugable look-and-feels
 

-class WXDLLIMPEXP_AUI wxDockArt
+class WXDLLIMPEXP_AUI wxAuiDockArt

 {
 public:
 
 {
 public:
 

-    wxDockArt() { }
-    virtual ~wxDockArt() { }
+    wxAuiDockArt() { }
+    virtual ~wxAuiDockArt() { }

 
     virtual int GetMetric(int id) = 0;
 
     virtual int GetMetric(int id) = 0;

-    virtual void SetMetric(int id, int new_val) = 0;
+    virtual void SetMetric(int id, int newVal) = 0;

     virtual void SetFont(int id, const wxFont& font) = 0;
     virtual wxFont GetFont(int id) = 0;
     virtual wxColour GetColour(int id) = 0;
     virtual void SetColour(int id, const wxColor& colour) = 0;
     virtual void SetFont(int id, const wxFont& font) = 0;
     virtual wxFont GetFont(int id) = 0;
     virtual wxColour GetColour(int id) = 0;
     virtual void SetColour(int id, const wxColor& colour) = 0;

-    wxColor GetColor(int id) { return GetColour(id); }
-    void SetColor(int id, const wxColor& color) { SetColour(id, color); }
+    wxColour GetColor(int id) { return GetColour(id); }
+    void SetColor(int id, const wxColour& color) { SetColour(id, color); }

 
     virtual void DrawSash(wxDC& dc,
 
     virtual void DrawSash(wxDC& dc,

+                          wxWindow* window,

                           int orientation,
                           const wxRect& rect) = 0;
 
     virtual void DrawBackground(wxDC& dc,
                           int orientation,
                           const wxRect& rect) = 0;
 
     virtual void DrawBackground(wxDC& dc,

+                          wxWindow* window,

                           int orientation,
                           const wxRect& rect) = 0;
 
     virtual void DrawCaption(wxDC& dc,
                           int orientation,
                           const wxRect& rect) = 0;
 
     virtual void DrawCaption(wxDC& dc,

+                          wxWindow* window,

                           const wxString& text,
                           const wxRect& rect,
                           const wxString& text,
                           const wxRect& rect,

-                          wxPaneInfo& pane) = 0;
+                          wxAuiPaneInfo& pane) = 0;

 
     virtual void DrawGripper(wxDC& dc,
 
     virtual void DrawGripper(wxDC& dc,

+                          wxWindow* window,

                           const wxRect& rect,
                           const wxRect& rect,

-                          wxPaneInfo& pane) = 0;
+                          wxAuiPaneInfo& pane) = 0;

 
     virtual void DrawBorder(wxDC& dc,
 
     virtual void DrawBorder(wxDC& dc,

+                          wxWindow* window,

                           const wxRect& rect,
                           const wxRect& rect,

-                          wxPaneInfo& pane) = 0;
+                          wxAuiPaneInfo& pane) = 0;

 
     virtual void DrawPaneButton(wxDC& dc,
 
     virtual void DrawPaneButton(wxDC& dc,

+                          wxWindow* window,

                           int button,
                           int button,

-                          int button_state,
+                          int buttonState,

                           const wxRect& rect,
                           const wxRect& rect,

-                          wxPaneInfo& pane) = 0;
+                          wxAuiPaneInfo& pane) = 0;

 };
 
 
 };
 
 

-// this is the default art provider for wxFrameManager.  Dock art
+// this is the default art provider for wxAuiManager.  Dock art

 // can be customized by creating a class derived from this one,
 // or replacing this class entirely
 
 // can be customized by creating a class derived from this one,
 // or replacing this class entirely
 

-class WXDLLIMPEXP_AUI wxDefaultDockArt : public wxDockArt
+class WXDLLIMPEXP_AUI wxAuiDefaultDockArt : public wxAuiDockArt

 {
 public:
 
 {
 public:
 

-    wxDefaultDockArt();
+    wxAuiDefaultDockArt();

 
 

-    int GetMetric(int metric_id);
-    void SetMetric(int metric_id, int new_val);
+    int GetMetric(int metricId);
+    void SetMetric(int metricId, int newVal);

     wxColour GetColour(int id);
     void SetColour(int id, const wxColor& colour);
     void SetFont(int id, const wxFont& font);
     wxFont GetFont(int id);
 
     void DrawSash(wxDC& dc,
     wxColour GetColour(int id);
     void SetColour(int id, const wxColor& colour);
     void SetFont(int id, const wxFont& font);
     wxFont GetFont(int id);
 
     void DrawSash(wxDC& dc,

+                  wxWindow *window,

                   int orientation,
                   const wxRect& rect);
 
     void DrawBackground(wxDC& dc,
                   int orientation,
                   const wxRect& rect);
 
     void DrawBackground(wxDC& dc,

+                  wxWindow *window,

                   int orientation,
                   const wxRect& rect);
 
     void DrawCaption(wxDC& dc,
                   int orientation,
                   const wxRect& rect);
 
     void DrawCaption(wxDC& dc,

+                  wxWindow *window,

                   const wxString& text,
                   const wxRect& rect,
                   const wxString& text,
                   const wxRect& rect,

-                  wxPaneInfo& pane);
+                  wxAuiPaneInfo& pane);

 
     void DrawGripper(wxDC& dc,
 
     void DrawGripper(wxDC& dc,

+                  wxWindow *window,

                   const wxRect& rect,
                   const wxRect& rect,

-                  wxPaneInfo& pane);
+                  wxAuiPaneInfo& pane);

 
     void DrawBorder(wxDC& dc,
 
     void DrawBorder(wxDC& dc,

+                  wxWindow *window,

                   const wxRect& rect,
                   const wxRect& rect,

-                  wxPaneInfo& pane);
+                  wxAuiPaneInfo& pane);

 
     void DrawPaneButton(wxDC& dc,
 
     void DrawPaneButton(wxDC& dc,

+                  wxWindow *window,

                   int button,
                   int button,

-                  int button_state,
+                  int buttonState,

                   const wxRect& rect,
                   const wxRect& rect,

-                  wxPaneInfo& pane);
+                  wxAuiPaneInfo& pane);
+
+    void DrawIcon(wxDC& dc,
+                  const wxRect& rect,
+                  wxAuiPaneInfo& pane);

 
 protected:
 
     void DrawCaptionBackground(wxDC& dc, const wxRect& rect, bool active);
 
 
 protected:
 
     void DrawCaptionBackground(wxDC& dc, const wxRect& rect, bool active);
 

+    void InitBitmaps();
+

 protected:
 
 protected:
 

-    wxPen m_border_pen;
-    wxBrush m_sash_brush;
-    wxBrush m_background_brush;
-    wxBrush m_gripper_brush;
-    wxFont m_caption_font;
-    wxBitmap m_inactive_close_bitmap;
-    wxBitmap m_inactive_pin_bitmap;
-    wxBitmap m_active_close_bitmap;
-    wxBitmap m_active_pin_bitmap;
-    wxPen m_gripper_pen1;
-    wxPen m_gripper_pen2;
-    wxPen m_gripper_pen3;
-    wxColour m_active_caption_colour;
-    wxColour m_active_caption_gradient_colour;
-    wxColour m_active_caption_text_colour;
-    wxColour m_inactive_caption_colour;
-    wxColour m_inactive_caption_gradient_colour;
-    wxColour m_inactive_caption_text_colour;
-    int m_border_size;
-    int m_caption_size;
-    int m_sash_size;
-    int m_button_size;
-    int m_gripper_size;
-    int m_gradient_type;
+    wxPen m_borderPen;
+    wxBrush m_sashBrush;
+    wxBrush m_backgroundBrush;
+    wxBrush m_gripperBrush;
+    wxFont m_captionFont;
+    wxBitmap m_inactiveCloseBitmap;
+    wxBitmap m_inactivePinBitmap;
+    wxBitmap m_inactiveMaximizeBitmap;
+    wxBitmap m_inactiveRestoreBitmap;
+    wxBitmap m_activeCloseBitmap;
+    wxBitmap m_activePinBitmap;
+    wxBitmap m_activeMaximizeBitmap;
+    wxBitmap m_activeRestoreBitmap;
+    wxPen m_gripperPen1;
+    wxPen m_gripperPen2;
+    wxPen m_gripperPen3;
+    wxColour m_baseColour;
+    wxColour m_activeCaptionColour;
+    wxColour m_activeCaptionGradientColour;
+    wxColour m_activeCaptionTextColour;
+    wxColour m_inactiveCaptionColour;
+    wxColour m_inactiveCaptionGradientColour;
+    wxColour m_inactiveCaptionTextColour;
+    int m_borderSize;
+    int m_captionSize;
+    int m_sashSize;
+    int m_buttonSize;
+    int m_gripperSize;
+    int m_gradientType;

 };
 
 
 };