From 379024d94a8c1e66287272e455595e781fc374c5 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Wed, 9 Mar 2016 01:10:44 +0100 Subject: [PATCH] Add wxAuiManager and wxAuiPaneInfo to the XRC schema See #13520. --- misc/schema/xrc_schema.rnc | 54 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 54 insertions(+) diff --git a/misc/schema/xrc_schema.rnc b/misc/schema/xrc_schema.rnc index 5485c6efc4..fe6858f794 100644 --- a/misc/schema/xrc_schema.rnc +++ b/misc/schema/xrc_schema.rnc @@ -158,7 +158,9 @@ builtinWindowClasses = ( unknown | wxActivityIndicator | wxAnimationCtrl + | wxAuiManager | wxAuiNotebook + | wxAuiPaneInfo | wxAuiToolBar | wxBannerWindow | wxBitmapButton @@ -252,7 +254,9 @@ builtinClassesNames = | "wxActivityIndicator" | "wxAnimationCtrl" + | "wxAuiManager" | "wxAuiNotebook" + | "wxAuiPaneInfo" | "wxAuiToolBar" | "wxBannerWindow" | "wxBitmapButton" @@ -534,6 +538,14 @@ wxAnimationCtrl = } +wxAuiManager = + element object { + attribute class { "wxAuiManager" } & + stdObjectNodeAttributes & + (wxAuiPaneInfo | objectRef)* + } + + wxAuiNotebook = element object { attribute class { "wxAuiNotebook" } & @@ -552,6 +564,48 @@ wxAuiNotebook_notebookpage = } +wxAuiPaneInfo = + element object { + attribute class { "wxAuiPaneInfo" } & + stdObjectNodeAttributes & + [xrc:p="important"] element caption {_, t_text }* & + [xrc:p="o"] element caption_visible {_, t_bool }* & + [xrc:p="o"] element close_button {_, t_bool }* & + [xrc:p="o"] element minimize_button {_, t_bool }* & + [xrc:p="o"] element maximize_button {_, t_bool }* & + [xrc:p="o"] element pin_button {_, t_bool }* & + [xrc:p="o"] element gripper {_, t_bool }* & + [xrc:p="o"] element pane_border {_, t_bool }* & + [xrc:p="o"] element dock {_} * & + [xrc:p="o"] element float {_} * & + [xrc:p="o"] element top_dockable {_, t_bool }* & + [xrc:p="o"] element bottom_dockable {_, t_bool }* & + [xrc:p="o"] element left_dockable {_, t_bool }* & + [xrc:p="o"] element right_dockable {_, t_bool }* & + [xrc:p="o"] element dock_fixed {_, t_bool }* & + [xrc:p="o"] element resizable {_, t_bool }* & + [xrc:p="o"] element movable {_, t_bool }* & + [xrc:p="o"] element floatable {_, t_bool }* & + [xrc:p="o"] element floating_size {_, t_size }* & + [xrc:p="o"] element min_size {_, t_size }* & + [xrc:p="o"] element max_size {_, t_size }* & + [xrc:p="o"] element best_size {_, t_size }* & + [xrc:p="o"] element row {_, t_integer }* & + [xrc:p="o"] element layer {_, t_integer }* & + [xrc:p="o"] element default_pane {_} * & + [xrc:p="o"] element toolbar_pane {_} * & + [xrc:p="o"] element center_pane {_} * & + [xrc:p="o"] element direction {_, t_integer }* & + [xrc:p="o"] element top {_} * & + [xrc:p="o"] element bottom {_} * & + [xrc:p="o"] element left {_} * & + [xrc:p="o"] element right {_} * & + [xrc:p="o"] element centre {_} * & + [xrc:p="o"] element center {_} * & + windowNode + } + + wxAuiToolBar = element object { attribute class { "wxAuiToolBar" } &