// Purpose: interface of wxRichTextFormattingDialog*
// Author: wxWidgets team
// RCS-ID: $Id$
-// Licence: wxWindows license
+// Licence: wxWindows licence
/////////////////////////////////////////////////////////////////////////////
/**
class wxRichTextFormattingDialog : public wxPropertySheetDialog
{
public:
+ enum { Option_AllowPixelFontSize = 0x0001 };
+
/**
Default ctor.
*/
details about the parameters.
*/
bool Create(long flags, wxWindow* parent,
- const wxString& title = wxGetTranslation(wxT("Formatting")), wxWindowID id = wxID_ANY, const wxPoint& pos = wxDefaultPosition, const wxSize& sz = wxDefaultSize, long style = wxDEFAULT_DIALOG_STYLE);
+ const wxString& title = wxGetTranslation("Formatting"), wxWindowID id = wxID_ANY,
+ const wxPoint& pos = wxDefaultPosition, const wxSize& sz = wxDefaultSize,
+ long style = wxDEFAULT_DIALOG_STYLE);
//@{
/**
*/
void SetAttributes(const wxTextAttr& attr);
+ /**
+ Sets the dialog options, determining what the interface presents to the user.
+ Currently the only option is Option_AllowPixelFontSize.
+ */
+ void SetOptions(int options) { m_options = options; }
+
+ /**
+ Gets the dialog options, determining what the interface presents to the user.
+ Currently the only option is Option_AllowPixelFontSize.
+ */
+ int GetOptions() const { return m_options; }
+
+ /**
+ Returns @true if the given option is present.
+ */
+ bool HasOption(int option) const { return (m_options & option) != 0; }
+
/**
Sets the formatting factory object to be used for customization and page
creation.