///////////////////////////////////////////////////////////////////////////////
-// Name: dockart.h
+// Name: wx/aui/dockart.h
// Purpose: wxaui: wx advanced user interface - docking window manager
// Author: Benjamin I. Williams
// Modified by:
// Created: 2005-05-17
-// RCS-ID:
+// RCS-ID: $Id$
// Copyright: (C) Copyright 2005, Kirix Corporation, All Rights Reserved.
// Licence: wxWindows Library Licence, Version 3.1
///////////////////////////////////////////////////////////////////////////////
#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 wxDockArt
+class WXDLLIMPEXP_AUI wxAuiDockArt
{
public:
- wxDockArt() { }
- virtual ~wxDockArt() { }
+ wxAuiDockArt() { }
+ virtual ~wxAuiDockArt() { }
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;
- 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,
+ 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,
- wxPaneInfo& pane) = 0;
+ wxAuiPaneInfo& pane) = 0;
virtual void DrawGripper(wxDC& dc,
+ wxWindow* window,
const wxRect& rect,
- wxPaneInfo& pane) = 0;
+ wxAuiPaneInfo& pane) = 0;
virtual void DrawBorder(wxDC& dc,
+ wxWindow* window,
const wxRect& rect,
- wxPaneInfo& pane) = 0;
+ wxAuiPaneInfo& pane) = 0;
virtual void DrawPaneButton(wxDC& dc,
+ wxWindow* window,
int button,
- int button_state,
+ int buttonState,
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
-class WXDLLIMPEXP_AUI wxDefaultDockArt : public wxDockArt
+class WXDLLIMPEXP_AUI wxAuiDefaultDockArt : public wxAuiDockArt
{
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,
+ 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,
- wxPaneInfo& pane);
+ wxAuiPaneInfo& pane);
void DrawGripper(wxDC& dc,
+ wxWindow *window,
const wxRect& rect,
- wxPaneInfo& pane);
+ wxAuiPaneInfo& pane);
void DrawBorder(wxDC& dc,
+ wxWindow *window,
const wxRect& rect,
- wxPaneInfo& pane);
+ wxAuiPaneInfo& pane);
void DrawPaneButton(wxDC& dc,
+ wxWindow *window,
int button,
- int button_state,
+ int buttonState,
+ const wxRect& rect,
+ wxAuiPaneInfo& pane);
+
+ void DrawIcon(wxDC& dc,
const wxRect& rect,
- wxPaneInfo& pane);
+ wxAuiPaneInfo& pane);
protected:
void DrawCaptionBackground(wxDC& dc, const wxRect& rect, bool active);
+ void InitBitmaps();
+
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;
};
projects / wxWidgets.git / blobdiff