Browse Source

update header bar title on page index available only

PHP-GTK3
yggverse 4 months ago
parent
commit
ff3187a495
  1. 7
      src/Entity/Browser/Container/Tab.php

7
src/Entity/Browser/Container/Tab.php

@ -55,10 +55,13 @@ class Tab
int $page_num int $page_num
) { ) {
// Update header bar title // Update header bar title
if ($page = $this->getPage($page_num))
{
$this->container->browser->header->setTitle( $this->container->browser->header->setTitle(
$this->getPage($page_num)->title->getValue(), $page->title->getValue(),
$this->getPage($page_num)->title->getSubtitle() $page->title->getSubtitle()
); );
}
// Keep current selection // Keep current selection
$self->grab_focus(); $self->grab_focus();

Loading…
Cancel
Save