git.saurik.com Git - wxWidgets.git/blame_incremental

... / ...

Commit	Line	Data
	1	///////////////////////////////////////////////////////////////////////////////
	2	// Name: wx/aui/dockart.h
	3	// Purpose: wxaui: wx advanced user interface - docking window manager
	4	// Author: Benjamin I. Williams
	5	// Modified by:
	6	// Created: 2005-05-17
	7	// RCS-ID: $Id$
	8	// Copyright: (C) Copyright 2005, Kirix Corporation, All Rights Reserved.
	9	// Licence: wxWindows Library Licence, Version 3.1
	10	///////////////////////////////////////////////////////////////////////////////
	11
	12	#ifndef _WX_DOCKART_H_
	13	#define _WX_DOCKART_H_
	14
	15	// ----------------------------------------------------------------------------
	16	// headers
	17	// ----------------------------------------------------------------------------
	18
	19	#include "wx/defs.h"
	20
	21	#if wxUSE_AUI
	22
	23	#include "wx/pen.h"
	24	#include "wx/brush.h"
	25	#include "wx/bitmap.h"
	26	#include "wx/colour.h"
	27
	28	// dock art provider code - a dock provider provides all drawing
	29	// functionality to the wxAui dock manager. This allows the dock
	30	// manager to have plugable look-and-feels
	31
	32	class WXDLLIMPEXP_AUI wxDockArt
	33	{
	34	public:
	35
	36	wxDockArt() { }
	37	virtual ~wxDockArt() { }
	38
	39	virtual int GetMetric(int id) = 0;
	40	virtual void SetMetric(int id, int new_val) = 0;
	41	virtual void SetFont(int id, const wxFont& font) = 0;
	42	virtual wxFont GetFont(int id) = 0;
	43	virtual wxColour GetColour(int id) = 0;
	44	virtual void SetColour(int id, const wxColor& colour) = 0;
	45	wxColour GetColor(int id) { return GetColour(id); }
	46	void SetColor(int id, const wxColour& color) { SetColour(id, color); }
	47
	48	virtual void DrawSash(wxDC& dc,
	49	wxWindow *window,
	50	int orientation,
	51	const wxRect& rect) = 0;
	52
	53	virtual void DrawBackground(wxDC& dc,
	54	wxWindow *window,
	55	int orientation,
	56	const wxRect& rect) = 0;
	57
	58	virtual void DrawCaption(wxDC& dc,
	59	wxWindow *window,
	60	const wxString& text,
	61	const wxRect& rect,
	62	wxPaneInfo& pane) = 0;
	63
	64	virtual void DrawGripper(wxDC& dc,
	65	wxWindow *window,
	66	const wxRect& rect,
	67	wxPaneInfo& pane) = 0;
	68
	69	virtual void DrawBorder(wxDC& dc,
	70	wxWindow *window,
	71	const wxRect& rect,
	72	wxPaneInfo& pane) = 0;
	73
	74	virtual void DrawPaneButton(wxDC& dc,
	75	wxWindow *window,
	76	int button,
	77	int button_state,
	78	const wxRect& rect,
	79	wxPaneInfo& pane) = 0;
	80	};
	81
	82
	83	// this is the default art provider for wxFrameManager. Dock art
	84	// can be customized by creating a class derived from this one,
	85	// or replacing this class entirely
	86
	87	class WXDLLIMPEXP_AUI wxDefaultDockArt : public wxDockArt
	88	{
	89	public:
	90
	91	wxDefaultDockArt();
	92
	93	int GetMetric(int metric_id);
	94	void SetMetric(int metric_id, int new_val);
	95	wxColour GetColour(int id);
	96	void SetColour(int id, const wxColor& colour);
	97	void SetFont(int id, const wxFont& font);
	98	wxFont GetFont(int id);
	99
	100	void DrawSash(wxDC& dc,
	101	wxWindow *window,
	102	int orientation,
	103	const wxRect& rect);
	104
	105	void DrawBackground(wxDC& dc,
	106	wxWindow *window,
	107	int orientation,
	108	const wxRect& rect);
	109
	110	void DrawCaption(wxDC& dc,
	111	wxWindow *window,
	112	const wxString& text,
	113	const wxRect& rect,
	114	wxPaneInfo& pane);
	115
	116	void DrawGripper(wxDC& dc,
	117	wxWindow *window,
	118	const wxRect& rect,
	119	wxPaneInfo& pane);
	120
	121	void DrawBorder(wxDC& dc,
	122	wxWindow *window,
	123	const wxRect& rect,
	124	wxPaneInfo& pane);
	125
	126	void DrawPaneButton(wxDC& dc,
	127	wxWindow *window,
	128	int button,
	129	int button_state,
	130	const wxRect& rect,
	131	wxPaneInfo& pane);
	132
	133	protected:
	134
	135	void DrawCaptionBackground(wxDC& dc, const wxRect& rect, bool active);
	136
	137	protected:
	138
	139	wxPen m_border_pen;
	140	wxBrush m_sash_brush;
	141	wxBrush m_background_brush;
	142	wxBrush m_gripper_brush;
	143	wxFont m_caption_font;
	144	wxBitmap m_inactive_close_bitmap;
	145	wxBitmap m_inactive_pin_bitmap;
	146	wxBitmap m_active_close_bitmap;
	147	wxBitmap m_active_pin_bitmap;
	148	wxPen m_gripper_pen1;
	149	wxPen m_gripper_pen2;
	150	wxPen m_gripper_pen3;
	151	wxColour m_active_caption_colour;
	152	wxColour m_active_caption_gradient_colour;
	153	wxColour m_active_caption_text_colour;
	154	wxColour m_inactive_caption_colour;
	155	wxColour m_inactive_caption_gradient_colour;
	156	wxColour m_inactive_caption_text_colour;
	157	int m_border_size;
	158	int m_caption_size;
	159	int m_sash_size;
	160	int m_button_size;
	161	int m_gripper_size;
	162	int m_gradient_type;
	163	};
	164
	165
	166
	167	#endif // wxUSE_AUI
	168	#endif //_WX_DOCKART_H_