|
|
@ -15,8 +15,8 @@ class Tab |
|
|
|
public Container $container; |
|
|
|
public Container $container; |
|
|
|
|
|
|
|
|
|
|
|
// Defaults |
|
|
|
// Defaults |
|
|
|
private bool $_reorderable = true; |
|
|
|
public const REORDERABLE = true; |
|
|
|
private bool $_scrollable = true; |
|
|
|
public const SCROLLABLE = true; |
|
|
|
|
|
|
|
|
|
|
|
// Extras |
|
|
|
// Extras |
|
|
|
private array $_page = []; |
|
|
|
private array $_page = []; |
|
|
@ -31,7 +31,7 @@ class Tab |
|
|
|
$this->gtk = new \GtkNotebook; |
|
|
|
$this->gtk = new \GtkNotebook; |
|
|
|
|
|
|
|
|
|
|
|
$this->gtk->set_scrollable( |
|
|
|
$this->gtk->set_scrollable( |
|
|
|
$this->_scrollable |
|
|
|
$this::SCROLLABLE |
|
|
|
); |
|
|
|
); |
|
|
|
|
|
|
|
|
|
|
|
// Restore previous session |
|
|
|
// Restore previous session |
|
|
@ -146,7 +146,7 @@ class Tab |
|
|
|
|
|
|
|
|
|
|
|
$this->gtk->set_tab_reorderable( |
|
|
|
$this->gtk->set_tab_reorderable( |
|
|
|
$page->gtk, |
|
|
|
$page->gtk, |
|
|
|
$this->_reorderable |
|
|
|
$this::REORDERABLE |
|
|
|
); |
|
|
|
); |
|
|
|
|
|
|
|
|
|
|
|
if ($open) |
|
|
|
if ($open) |
|
|
|