/// right margin
int rightMargin() const;
-
/// left margin
int leftMargin() const;
+ /// top margin
+ int topMargin() const;
+ /// bottom margin
+ int bottomMargin() const;
/// return the on-screen size of this length
/*
/// request an X11 selection.
/// \return the selected string.
- docstring const requestSelection();
+ docstring requestSelection();
/// clear the X11 selection.
void clearSelection();
/// This signal is emitted when some dialog needs to be shown with
/// some data.
void showDialog(std::string const & name, std::string const & data,
- Inset * inset = 0);
+ Inset * inset = nullptr);
/// This signal is emitted when some dialogs needs to be updated.
void updateDialog(std::string const & name, std::string const & data);