|
|
@ -58,9 +58,9 @@ class Tab |
|
|
|
// Init events |
|
|
|
// Init events |
|
|
|
$this->gtk->connect( |
|
|
|
$this->gtk->connect( |
|
|
|
'switch-page', |
|
|
|
'switch-page', |
|
|
|
function ( |
|
|
|
function( |
|
|
|
?GtkNotebook $self, |
|
|
|
GtkNotebook $self, |
|
|
|
?GtkWidget $child, |
|
|
|
GtkWidget $child, |
|
|
|
int $page_num |
|
|
|
int $page_num |
|
|
|
) { |
|
|
|
) { |
|
|
|
// Update header bar title |
|
|
|
// Update header bar title |
|
|
@ -80,9 +80,9 @@ class Tab |
|
|
|
|
|
|
|
|
|
|
|
$this->gtk->connect( |
|
|
|
$this->gtk->connect( |
|
|
|
'page-added', |
|
|
|
'page-added', |
|
|
|
function ( |
|
|
|
function( |
|
|
|
?GtkNotebook $self, |
|
|
|
GtkNotebook $self, |
|
|
|
?GtkWidget $child, |
|
|
|
GtkWidget $child, |
|
|
|
int $page_num |
|
|
|
int $page_num |
|
|
|
) { |
|
|
|
) { |
|
|
|
$this->reorder(); |
|
|
|
$this->reorder(); |
|
|
@ -91,9 +91,9 @@ class Tab |
|
|
|
|
|
|
|
|
|
|
|
$this->gtk->connect( |
|
|
|
$this->gtk->connect( |
|
|
|
'page-removed', |
|
|
|
'page-removed', |
|
|
|
function ( |
|
|
|
function( |
|
|
|
?GtkNotebook $self, |
|
|
|
GtkNotebook $self, |
|
|
|
?GtkWidget $child, |
|
|
|
GtkWidget $child, |
|
|
|
int $page_num |
|
|
|
int $page_num |
|
|
|
) { |
|
|
|
) { |
|
|
|
// Free memory pool |
|
|
|
// Free memory pool |
|
|
@ -113,9 +113,9 @@ class Tab |
|
|
|
|
|
|
|
|
|
|
|
$this->gtk->connect( |
|
|
|
$this->gtk->connect( |
|
|
|
'page-reordered', |
|
|
|
'page-reordered', |
|
|
|
function ( |
|
|
|
function( |
|
|
|
?GtkNotebook $self, |
|
|
|
GtkNotebook $self, |
|
|
|
?GtkWidget $child, |
|
|
|
GtkWidget $child, |
|
|
|
int $page_num |
|
|
|
int $page_num |
|
|
|
) { |
|
|
|
) { |
|
|
|
$this->reorder(); |
|
|
|
$this->reorder(); |
|
|
@ -146,9 +146,9 @@ class Tab |
|
|
|
|
|
|
|
|
|
|
|
$label->connect( |
|
|
|
$label->connect( |
|
|
|
'button-press-event', |
|
|
|
'button-press-event', |
|
|
|
function ( |
|
|
|
function( |
|
|
|
?GtkEventBox $self, |
|
|
|
GtkEventBox $self, |
|
|
|
?GdkEvent $event |
|
|
|
GdkEvent $event |
|
|
|
) { |
|
|
|
) { |
|
|
|
// Close tab on double click |
|
|
|
// Close tab on double click |
|
|
|
if ($event->type == Gdk::DOUBLE_BUTTON_PRESS) |
|
|
|
if ($event->type == Gdk::DOUBLE_BUTTON_PRESS) |
|
|
|