213:67ef4e6e6ceb
Anton Shestakov <av6@dwimlabs.net>, Sat, 08 May 2021 07:52:45 +0800
terminalrc: add new terminal options, switch to 11 font (the same as old 10?)

previous change 177:bd893493bc06

.config/xfce4/xfconf/xfce-perchannel-xml/keyboards.xml

Permissions: -rw-r--r--

Other formats: Feeds:
<?xml version="1.0" encoding="UTF-8"?>
<channel name="keyboards" version="1.0">
<property name="Default" type="empty">
<property name="Numlock" type="bool" value="false"/>
<property name="KeyRepeat" type="empty">
<property name="Delay" type="int" value="300"/>
<property name="Rate" type="int" value="40"/>
</property>
</property>
</channel>