]> git.saurik.com Git - wxWidgets.git/blobdiff - interface/wx/richtext/richtextformatdlg.h
Add wxTimer::StartOnce().
[wxWidgets.git] / interface / wx / richtext / richtextformatdlg.h
index 5ef56d5c6ab045c92d5022942007ddd88219a04e..21bf1539b005ac6de0b685e79ed714b82722f725 100644 (file)
@@ -3,7 +3,7 @@
 // Purpose:     interface of wxRichTextFormattingDialog*
 // Author:      wxWidgets team
 // RCS-ID:      $Id$
-// Licence:     wxWindows license
+// Licence:     wxWindows licence
 /////////////////////////////////////////////////////////////////////////////
 
 /**
@@ -123,6 +123,8 @@ public:
 class wxRichTextFormattingDialog : public wxPropertySheetDialog
 {
 public:
+    enum { Option_AllowPixelFontSize = 0x0001 };
+
     /**
         Default ctor.
     */
@@ -167,7 +169,9 @@ public:
         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);
 
     //@{
     /**
@@ -225,6 +229,23 @@ public:
     */
     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.