ehmry/genodepkgs
ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity

move log on top

This commit is contained in:
Ehmry - 2020-05-25 20:40:57 +05:30
parent b07c6e49bd
commit 5b04804a4a
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
nixos-modules/dhall/vbox-host.dhall
View File

@ -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 }