Browse Source

cleanup expired history records in the history constructor

PHP-GTK3
yggverse 7 months ago
parent
commit
704a534401
  1. 7
      config.json
  2. 8
      src/Entity/Tab/History.php

7
config.json

@ -86,8 +86,7 @@ @@ -86,8 +86,7 @@
},
"database":
{
"enabled":true,
"timeout":null
"enabled":true
}
},
"progressbar":
@ -178,6 +177,10 @@ @@ -178,6 +177,10 @@
{
"enabled":true,
"label":"History",
"clean":
{
"timeout":null
},
"time":
{
"format":"c"

8
src/Entity/Tab/History.php

@ -33,6 +33,14 @@ class History @@ -33,6 +33,14 @@ class History
// Init config
$this->config = \Yggverse\Yoda\Model\File::getConfig()->app->tab->history;
// Cleanup expired history
if ($this->config->clean->timeout)
{
$this->app->database->cleanHistory(
$this->config->clean->timeout
);
}
// Compose header
$this->header = new \GtkBox(
\GtkOrientation::HORIZONTAL

Loading…
Cancel
Save