#
# Gargoyle Glk configuration
#
# Copy this file to "garglk.ini" in the same directory as your
# gargoyle interpreter if you are running windows.
# On unix systems, copy it to "~/.garglkrc".
#
# Gargoyle will look for configuration files and load them in this
# order, with later settings overriding earlier settings:
#
# 1: same directory as the executable: garglk.ini (windows)
# 2: /etc/garglk.ini (unix)
# 3: user home directory: .garglkrc
# 4: user home directory: garglk.ini
# 5: current working directory: garglk.ini
# 6: name-of-game-file.ini (so for hell.gam it would read hell.ini)
#
# Sections of the config file can be turned on or off by matching
# either the interpreter or game file being run. See the bottom
# of this file for examples.
#
# ------------------------------------------------------------------
# Fonts, sizes and spaces.
# Tweak this if you choose other fonts, or want bigger text.
#
# The eight 'standard' fonts.
# Specify either the builtin fonts as below,
# or give the full path to a font file.
wmarginx 10 # space around the window frame
wmarginy 10
wpaddingx 0 # space between windows
wpaddingy 0
wborderx 0 # border line width between windows
wbordery 0
tmarginx 7 # internal margin of text windows
tmarginy 7
propsize 13.7 # Proportional font size
monosize 12.6 # Monospaced tend to be bigger -- compensate
leading 20 # Also known as linespacing
baseline 15 # Offset from top of line to baseline
# ------------------------------------------------------------------
# Colors and style definitions.
#
# Default here is for black text on a white background.
#
# If you choose the reverse, light text on a dark background,
# you may want to set gamma to 0.7 or similar to make the
# text fatter.
#
# Depending on your screen you may want to tweak the gamma.
# Good values to try are 0.7, 1.0 and 1.4.
#
# There are separate colors for TextBuffer and TextGrid windows.
# TextBuffers are main text windows, TextGrids are used mainly for
# status bars and such.
#
gamma 1.0 # this only affects text rendering, not other colors
windowcolor ffffdd # overall window background color
bordercolor 000000 # border line color
caretcolor 000000 # input caret color
morecolor 006000 # more prompt color
# ------------------------------------------------------------------
#
# You can add sections here to over-ride settings.
# List all the executables to be affected in the [ selector list ]
# The name of a game file can also be used.
#