2023-10-01 21:03:26 +02:00
|
|
|
--------------------------------------------------------------------------------
|
2023-10-01 12:53:01 +02:00
|
|
|
-- Configuration file for x48ng
|
2023-10-01 21:03:26 +02:00
|
|
|
-- This is a comment
|
|
|
|
|
-- `config_dir` is relative to $XDG_CONFIG_HOME/, or $HOME/.config/ or absolute
|
|
|
|
|
config_dir = "x48ng"
|
2023-10-01 12:53:01 +02:00
|
|
|
|
|
|
|
|
-- Pathes are either relative to `config_dir` or absolute
|
|
|
|
|
rom = "rom"
|
|
|
|
|
ram = "ram"
|
|
|
|
|
state = "state"
|
|
|
|
|
port1 = "port1"
|
|
|
|
|
port2 = "port2"
|
|
|
|
|
|
|
|
|
|
pseudo_terminal = false
|
|
|
|
|
serial = false
|
|
|
|
|
serial_line = "/dev/ttyS0"
|
|
|
|
|
|
|
|
|
|
verbose = false
|
|
|
|
|
debugger = false
|
|
|
|
|
throttle = false
|
|
|
|
|
|
|
|
|
|
--------------------
|
|
|
|
|
-- User Interface --
|
|
|
|
|
--------------------
|
2023-11-04 23:05:18 +01:00
|
|
|
frontend = "x11" -- possible values: "x11", "sdl", "tui", "tui-small", "tui-tiny"
|
2023-10-01 12:53:01 +02:00
|
|
|
hide_chrome = false
|
|
|
|
|
fullscreen = false
|
|
|
|
|
mono = false
|
|
|
|
|
gray = false
|
2023-11-01 17:46:01 +01:00
|
|
|
leave_shift_keys = false
|
2023-10-01 12:53:01 +02:00
|
|
|
|
|
|
|
|
x11_visual = "default"
|
2023-10-01 21:03:26 +02:00
|
|
|
netbook = false
|
2023-10-01 12:53:01 +02:00
|
|
|
font_small = "-*-fixed-bold-r-normal-*-14-*-*-*-*-*-iso8859-1"
|
|
|
|
|
font_medium = "-*-fixed-bold-r-normal-*-15-*-*-*-*-*-iso8859-1"
|
|
|
|
|
font_large = "-*-fixed-medium-r-normal-*-20-*-*-*-*-*-iso8859-1"
|
|
|
|
|
font_devices = "-*-fixed-medium-r-normal-*-12-*-*-*-*-*-iso8859-1"
|
2023-10-01 21:03:26 +02:00
|
|
|
--------------------------------------------------------------------------------
|
