1e30d94eff
Space was reserved for the borders even when it wasn't filled, resulting in visual artefacts. Fix this by virtualizing the function returning the additional space needed for the borders and only overriding it to return non zero in wxAuiGtkTabArt. Closes #14710. git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@72720 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
60 lines
2.1 KiB
C++
60 lines
2.1 KiB
C++
/////////////////////////////////////////////////////////////////////////////
|
|
// Name: include/wx/aui/tabartgtk.h
|
|
// Purpose: declaration of the wxAuiGTKTabArt
|
|
// Author: Jens Lody and Teodor Petrov
|
|
// Modified by:
|
|
// Created: 2012-03-23
|
|
// RCS-ID: $Id:$
|
|
// Copyright: (c) 2012 Jens Lody <jens@codeblocks.org>
|
|
// and Teodor Petrov
|
|
// Licence: wxWindows licence
|
|
/////////////////////////////////////////////////////////////////////////////
|
|
|
|
#ifndef _WX_AUI_TABARTGTK_H_
|
|
#define _WX_AUI_TABARTGTK_H_
|
|
|
|
// ----------------------------------------------------------------------------
|
|
// headers
|
|
// ----------------------------------------------------------------------------
|
|
|
|
#include "wx/defs.h"
|
|
|
|
#if wxUSE_AUI
|
|
|
|
#include "wx/aui/tabart.h"
|
|
#include "wx/gdicmn.h"
|
|
|
|
class wxWindow;
|
|
class wxDC;
|
|
|
|
class WXDLLIMPEXP_AUI wxAuiGtkTabArt : public wxAuiGenericTabArt
|
|
{
|
|
public:
|
|
wxAuiGtkTabArt();
|
|
|
|
virtual wxAuiTabArt* Clone();
|
|
virtual void DrawBorder(wxDC& dc, wxWindow* wnd, const wxRect& rect);
|
|
virtual void DrawBackground(wxDC& dc, wxWindow* wnd, const wxRect& rect);
|
|
virtual void DrawTab(wxDC& dc,
|
|
wxWindow* wnd,
|
|
const wxAuiNotebookPage& page,
|
|
const wxRect& in_rect,
|
|
int close_button_state,
|
|
wxRect* out_tab_rect,
|
|
wxRect* out_button_rect,
|
|
int* x_extent);
|
|
void DrawButton(wxDC& dc, wxWindow* wnd, const wxRect& in_rect, int bitmap_id,
|
|
int button_state, int orientation, wxRect* out_rect);
|
|
int GetBestTabCtrlSize(wxWindow* wnd, const wxAuiNotebookPageArray& pages,
|
|
const wxSize& required_bmp_size);
|
|
int GetBorderWidth(wxWindow* wnd);
|
|
int GetAdditionalBorderSpace(wxWindow* wnd);
|
|
virtual wxSize GetTabSize(wxDC& dc, wxWindow* wnd, const wxString& caption,
|
|
const wxBitmap& bitmap, bool active,
|
|
int close_button_state, int* x_extent);
|
|
};
|
|
|
|
#endif // wxUSE_AUI
|
|
|
|
#endif // _WX_AUI_TABARTGTK_H_
|