Browse Source

fix margins

PHP-GTK3
yggverse 2 months ago
parent
commit
f59507bbb4
  1. 4
      src/Entity/Browser/Container/Page/Content.php
  2. 6
      src/Entity/Browser/Container/Page/Progressbar.php

4
src/Entity/Browser/Container/Page/Content.php

@ -43,10 +43,6 @@ class Content
$this::MARGIN $this::MARGIN
); );
$this->gtk->set_margin_bottom(
$this::MARGIN
);
// Init scrolled window viewport // Init scrolled window viewport
$this->viewport = new Content\Viewport( $this->viewport = new Content\Viewport(
$this $this

6
src/Entity/Browser/Container/Page/Progressbar.php

@ -32,6 +32,10 @@ class Progressbar
// Init container // Init container
$this->gtk = new GtkProgressBar; $this->gtk = new GtkProgressBar;
$this->gtk->set_margin_top(
$this::MARGIN / 4
);
$this->gtk->set_margin_start( $this->gtk->set_margin_start(
$this::MARGIN $this::MARGIN
); );
@ -41,7 +45,7 @@ class Progressbar
); );
$this->gtk->set_margin_bottom( $this->gtk->set_margin_bottom(
$this::MARGIN $this::MARGIN / 4
); );
$this->gtk->show(); // fixed block height, show always $this->gtk->show(); // fixed block height, show always

Loading…
Cancel
Save