Browse Source

free memory pool on tab close

PHP-GTK3
yggverse 2 months ago
parent
commit
e77fec1f1c
  1. 12
      src/Entity/Browser/Container/Tab.php

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

@ -70,6 +70,7 @@ class Tab @@ -70,6 +70,7 @@ class Tab
$page->title->getValue(),
$page->title->getSubtitle()
);
} else throw new Exception;
// Keep current selection
@ -95,6 +96,17 @@ class Tab @@ -95,6 +96,17 @@ class Tab
?GtkWidget $child,
int $page_num
) {
// Free memory pool
if ($page = $this->get($page_num))
{
if ($page->connection)
{
$page->connection->close();
}
} else throw new Exception;
// Reorder pages
$this->reorder();
}
);

Loading…
Cancel
Save