about summary refs log tree commit diff stats
path: root/tools
Commit message (Expand)AuthorAgeFilesLines
* -Kartik Agaram2020-05-182-17/+20
* mu.subx: make handles in Primitives easier to readKartik Agaram2020-05-181-0/+17
* 6207 - tweaks while creating a videoKartik Agaram2020-04-191-3/+3
* 6123 - runtime helper for initializing arraysKartik Agaram2020-03-111-0/+636
* 6003Kartik Agaram2020-02-091-4/+15
* 6002Kartik Agaram2020-02-091-3/+4
* 5910Kartik Agaram2020-01-201-2/+1
* 5900Kartik Agaram2020-01-191-0/+16
* 5899Kartik Agaram2020-01-192-4/+11
* 5897 - rename comparison instructionsKartik Agaram2020-01-161-16/+0
* 5891Kartik Agaram2020-01-141-0/+20
* 5884Kartik Agaram2020-01-121-0/+7
* 5881Kartik Agaram2020-01-101-7/+0
* 5875Kartik Agaram2020-01-021-7/+7
* 5870Kartik Agaram2020-01-021-0/+3
* 5868Kartik Agaram2020-01-021-0/+0
* 5859Kartik Agaram2020-01-012-0/+67
* 5858Kartik Agaram2020-01-0195-0/+32627
* 5837 - better colors for trace browserKartik Agaram2019-12-281-10/+25
* 5819Kartik Agaram2019-12-221-1/+1
* 5816 - browse_trace bug fixedKartik Agaram2019-12-211-0/+1
* 5815Kartik Agaram2019-12-211-4/+4
* 5814Kartik Agaram2019-12-211-25/+25
* 5813Kartik Agaram2019-12-211-2/+1
* 5812 - debugging an ancient niggle in browse_traceKartik Agaram2019-12-211-6/+5
* 5805Kartik Agaram2019-12-081-0/+12
* 5801 - move `tangle` to `tools/` dirKartik Agaram2019-12-072-0/+1189
* 5800 - move `browse_trace` to `tools/` dirKartik Agaram2019-12-0712-0/+1927
* 5799 - move html-generation to `tools/` directoryKartik Agaram2019-12-073-1/+344
* 5797 - move `enumerate/` to `tools/` directoryKartik Agaram2019-12-072-0/+34
* 5796 - move treeshake to a new tools/ directoryKartik Agaram2019-12-075-0/+239
/ .highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */ .highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */ .highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */ .highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */ .highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */ .highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */ .highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */ .highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */ .highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */ .highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */ .highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
[colours]
bkgnd=default
titlebar=DeepSkyBlue4
titlebar.text=bold_white
titlebar.brackets=bold_white
titlebar.unencrypted=bold_yellow
titlebar.encrypted=bold_white
titlebar.untrusted=bold_yellow
titlebar.trusted=bold_white
titlebar.online=bold_green
titlebar.offline=bold_red
titlebar.away=bold_cyan
titlebar.xa=bold_cyan
titlebar.dnd=bold_red
titlebar.chat=bold_green
statusbar=DeepSkyBlue4
statusbar.text=bold_white
statusbar.time=bold_white
statusbar.brackets=bold_white
statusbar.active=bold_green
statusbar.current=bold_yellow
statusbar.new=bold_white
main.text=white
main.text.me=cyan
main.text.them=white
main.trackbar=yellow
main.splash=bold_red
main.help.header=bold_white
main.time=yellow
input.text=bold_green
subscribed=green
unsubscribed=red
otr.started.trusted=green
otr.started.untrusted=yellow
otr.ended=red
otr.trusted=green
otr.untrusted=yellow
online=green
away=cyan
chat=white
dnd=magenta
xa=blue
offline=red
incoming=bold_yellow
mention=bold_cyan
trigger=bold_blue
typing=yellow
gone=red
error=red
roominfo=yellow
roommention=bold_white
roommention.term=bold_cyan
roomtrigger=bold_white
roomtrigger.term=bold_blue
me=blue
them=bold_green
roster.header=bold_yellow
roster.chat=white
roster.online=green
roster.away=cyan
roster.xa=blue
roster.dnd=magenta
roster.offline=red
roster.chat.active=white
roster.online.active=green
roster.away.active=cyan
roster.xa.active=blue
roster.dnd.active=magenta
roster.offline.active=red
roster.chat.unread=bold_white
roster.online.unread=bold_green
roster.away.unread=bold_cyan
roster.xa.unread=bold_blue
roster.dnd.unread=bold_magenta
roster.offline.unread=bold_red
roster.room=green
roster.room.unread=bold_green
roster.room.mention=bold_cyan
roster.room.trigger=bold_blue
occupants.header=bold_yellow
receipt.sent=bold_black
receipt.sent=bold_red

[ui]
correction.char=+
color.occupants.nick=true
beep=false
flash=false
splash=true
wrap=true
time.console=%H:%M:%S
time.chat=%d/%m/%y %H:%M:%S
time.muc=%d/%m/%y %H:%M:%S
time.config=off
time.private=%d/%m/%y %H:%M:%S
time.xmlconsole=%H:%M:%S
time.statusbar=%H:%M
time.lastactivity=%d/%m/%y %H:%M:%S
privileges=true
presence=true
intype=true
enc.warn=true
resource.title=true
resource.message=true
statuses.console=none
statuses.chat=none
statuses.muc=none
roster=true
roster.offline=false
roster.empty=false
roster.by=none
roster.order=presence
roster.unread=after
roster.priority=false
roster.size=25
roster.wrap=true
roster.contact.indent=1
roster.resource=true
roster.resource.char=/
roster.resource.indent=1
roster.resource.join=true
roster.presence=true
roster.presence.indent=-1
roster.status=true
roster.contacts=true
roster.unsubscribed=true
roster.rooms=true
roster.rooms.order=name
roster.rooms.unread=after
roster.rooms.pos=last
roster.rooms.by=none
roster.rooms.server=false
roster.rooms.private.char=/
roster.private=room
roster.count=unread
roster.count.zero=false
roster.contact.char=-
roster.rooms.char=#
roster.header.char=@
roster.private.char=+
roster.rooms.use.name=name
occupants=true
occupants.size=15
occupants.jid=false
occupants.char=@
wins.autotidy=true
otr.char=@
pgp.char=%
omemo.char=*
tls.show=true
console.muc=first
console.chat=all
console.private=all
titlebar.position=1
mainwin.position=2
statusbar.position=3
inputwin.position=4
statusbar.self=user
statusbar.chat=user
statusbar.room=room
statusbar.tabs=10
statusbar.tablen=7
statusbar.show.name=true
statusbar.show.number=true