PHP Manual
Function Reference
GUI Extensions
UI
UI\Window
UI\Window::add
UI\Window::__construct
UI\Window::error
UI\Window::getSize
UI\Window::getTitle
UI\Window::hasBorders
UI\Window::hasMargin
UI\Window::isFullScreen
UI\Window::msg
UI\Window::onClosing
UI\Window::open
UI\Window::save
UI\Window::setBorders
UI\Window::setFullScreen
UI\Window::setMargin
UI\Window::setSize
UI\Window::setTitle
UI\Window::setFullScreen
UI\Window::setSize
UI\Window
PHP Manual
UI\Window::setMargin
Margin Use
Description
public
UI\Window::setMargin
(
boolean
$margin
)
Shall enable or disable the use of margins for this Window
Parameters
margin