From 5b04804a4a1c22fd5471806f751183dfab3b09ca Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 25 May 2020 20:40:57 +0530
Subject: [PATCH] move log on top

---
 nixos-modules/dhall/vbox-host.dhall | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/nixos-modules/dhall/vbox-host.dhall b/nixos-modules/dhall/vbox-host.dhall
index 0b1e1a4..1f4c9dd 100644
--- a/nixos-modules/dhall/vbox-host.dhall
+++ b/nixos-modules/dhall/vbox-host.dhall
@@ -259,9 +259,8 @@ let rootInit =
                       [ XML.text
                           ''
                           <domain name="pointer" layer="1" content="client" label="no" origin="pointer" />
-                          <domain name="default" layer="2" content="client" label="yes" hover="always" focus="click"/>
-                          <domain name="log" layer="3" content="client" label="yes" hover="always"/>
-                          <policy label_prefix="pointer" domain="pointer"/>
+                          <domain name="log" layer="2" content="client" label="yes" hover="always"/>
+                          <domain name="default" layer="3" content="client" label="yes" hover="always" focus="click"/>
                           <policy label_prefix="log" domain="log"/>
                           <default-policy domain="default"/>
                            ''
@@ -289,7 +288,8 @@ let rootInit =
                   Child.Attributes::{
                   , binary = "nit_fb"
                   , config = Init.Config::{
-                    , attributes = toMap { width = "600", height = "768" }
+                    , attributes = toMap
+                        { xpos = "600", width = "600", height = "768" }
                     }
                   , provides = [ "Framebuffer", "Input" ]
                   , resources = Resources::{ ram = Genode.units.MiB 8 }