| 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_
|