// Author: Benjamin I. Williams
// Modified by: Jens Lody (extracted from wx/aui/auibook.h)
// Created: 2012-03-21
-// RCS-ID: $Id$
// Copyright: (C) Copyright 2006, Kirix Corporation, All Rights Reserved.
// Licence: wxWindows Library Licence, Version 3.1
///////////////////////////////////////////////////////////////////////////////
virtual int GetBorderWidth(
wxWindow* wnd) = 0;
+ virtual int GetAdditionalBorderSpace(
+ wxWindow* wnd) = 0;
+
virtual int GetBestTabCtrlSize(
wxWindow* wnd,
const wxAuiNotebookPageArray& pages,
int GetBorderWidth(
wxWindow* wnd);
+ int GetAdditionalBorderSpace(
+ wxWindow* wnd);
+
wxSize GetTabSize(
wxDC& dc,
wxWindow* wnd,
int GetBorderWidth(
wxWindow* wnd);
+ int GetAdditionalBorderSpace(
+ wxWindow* wnd);
+
wxSize GetTabSize(
wxDC& dc,
wxWindow* wnd,