| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178 | 
							- ///////////////////////////////////////////////////////////////////////////////
 
- // Name:        wx/aui/dockart.h
 
- // Purpose:     wxaui: wx advanced user interface - docking window manager
 
- // Author:      Benjamin I. Williams
 
- // Modified by:
 
- // Created:     2005-05-17
 
- // Copyright:   (C) Copyright 2005, Kirix Corporation, All Rights Reserved.
 
- // Licence:     wxWindows Library Licence, Version 3.1
 
- ///////////////////////////////////////////////////////////////////////////////
 
- #ifndef _WX_DOCKART_H_
 
- #define _WX_DOCKART_H_
 
- // ----------------------------------------------------------------------------
 
- // headers
 
- // ----------------------------------------------------------------------------
 
- #include "wx/defs.h"
 
- #if wxUSE_AUI
 
- #include "wx/pen.h"
 
- #include "wx/brush.h"
 
- #include "wx/bitmap.h"
 
- #include "wx/colour.h"
 
- // dock art provider code - a dock provider provides all drawing
 
- // functionality to the wxAui dock manager.  This allows the dock
 
- // manager to have plugable look-and-feels
 
- class WXDLLIMPEXP_AUI wxAuiDockArt
 
- {
 
- public:
 
-     wxAuiDockArt() { }
 
-     virtual ~wxAuiDockArt() { }
 
-     virtual int GetMetric(int id) = 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;
 
-     wxColour GetColor(int id) { return GetColour(id); }
 
-     void SetColor(int id, const wxColour& color) { SetColour(id, color); }
 
-     virtual void DrawSash(wxDC& dc,
 
-                           wxWindow* window,
 
-                           int orientation,
 
-                           const wxRect& rect) = 0;
 
-     virtual void DrawBackground(wxDC& dc,
 
-                           wxWindow* window,
 
-                           int orientation,
 
-                           const wxRect& rect) = 0;
 
-     virtual void DrawCaption(wxDC& dc,
 
-                           wxWindow* window,
 
-                           const wxString& text,
 
-                           const wxRect& rect,
 
-                           wxAuiPaneInfo& pane) = 0;
 
-     virtual void DrawGripper(wxDC& dc,
 
-                           wxWindow* window,
 
-                           const wxRect& rect,
 
-                           wxAuiPaneInfo& pane) = 0;
 
-     virtual void DrawBorder(wxDC& dc,
 
-                           wxWindow* window,
 
-                           const wxRect& rect,
 
-                           wxAuiPaneInfo& pane) = 0;
 
-     virtual void DrawPaneButton(wxDC& dc,
 
-                           wxWindow* window,
 
-                           int button,
 
-                           int buttonState,
 
-                           const wxRect& rect,
 
-                           wxAuiPaneInfo& pane) = 0;
 
- };
 
- // 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
 
- class WXDLLIMPEXP_AUI wxAuiDefaultDockArt : public wxAuiDockArt
 
- {
 
- public:
 
-     wxAuiDefaultDockArt();
 
-     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,
 
-                   wxWindow *window,
 
-                   int orientation,
 
-                   const wxRect& rect);
 
-     void DrawBackground(wxDC& dc,
 
-                   wxWindow *window,
 
-                   int orientation,
 
-                   const wxRect& rect);
 
-     void DrawCaption(wxDC& dc,
 
-                   wxWindow *window,
 
-                   const wxString& text,
 
-                   const wxRect& rect,
 
-                   wxAuiPaneInfo& pane);
 
-     void DrawGripper(wxDC& dc,
 
-                   wxWindow *window,
 
-                   const wxRect& rect,
 
-                   wxAuiPaneInfo& pane);
 
-     void DrawBorder(wxDC& dc,
 
-                   wxWindow *window,
 
-                   const wxRect& rect,
 
-                   wxAuiPaneInfo& pane);
 
-     void DrawPaneButton(wxDC& dc,
 
-                   wxWindow *window,
 
-                   int button,
 
-                   int buttonState,
 
-                   const wxRect& rect,
 
-                   wxAuiPaneInfo& pane);
 
-     void DrawIcon(wxDC& dc,
 
-                   const wxRect& rect,
 
-                   wxAuiPaneInfo& pane);
 
- protected:
 
-     void DrawCaptionBackground(wxDC& dc, const wxRect& rect, bool active);
 
-     void InitBitmaps();
 
- protected:
 
-     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;
 
- };
 
- #endif // wxUSE_AUI
 
- #endif //_WX_DOCKART_H_
 
 
  |