Git-Mirrors/NomadNet
1
0
Fork 0
mirror of https://github.com/markqvist/NomadNet.git synced 2025-05-17 13:20:25 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Added configuration editor

Browse source
This commit is contained in:
Mark Qvist 2021-06-30 23:29:37 +02:00
parent 8aec40fba2
commit 0783b21272
4 changed files with 76 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

10
nomadnet/NomadNetworkApp.py
View file

@ -244,6 +244,11 @@ class NomadNetworkApp:
if not "editor" in self.config["textui"]:
self.config["textui"]["editor"] = "editor"
if not "mouse_enabled" in self.config["textui"]:
self.config["textui"]["mouse_enabled"] = True
else:
self.config["textui"]["animation_interval"] = self.config["textui"].as_bool("mouse_enabled")
if not "animation_interval" in self.config["textui"]:
self.config["textui"]["animation_interval"] = 1
else:
@ -345,6 +350,11 @@ colormode = 16
# colormode = 256
# colormode = 24bit
# You can specify whether mouse events
# should be considered as input to the
# application. On by default.
mouse_enabled = True
# What editor to use for editing text. By
# default the operating systems "editor"
# alias will be used.