# debug=
# plugins=
# temp=
# font.size=
# font.type=
# shell.name=
# shell.parameter=
# user.properties=
# user.plugins=
# default.canvas=
# default.fileformat=
# GDE.menu=
# GDE.help.viewer=
# GDE.help.path=
# undo=
# undo.size=
seqcolourdir=$BIOLEGATO_HOME/colourmasks
