6 commits

Author	SHA1	Message	Date
Paul	1c80d5675f	Feature: Font selector and ligature toggle.	2021-07-04 17:56:18 +01:00
Paul	a50ed9bfe9	Fix: Make settings not jump around. ... Fix: Auto-complete font size.	2021-06-24 17:29:01 +01:00
Paul	c52f1f5bca	Show Git revision in settings.	2021-06-22 13:47:47 +01:00
Paul	454ee7fd6e	Add server creation button. ... Add profile links / app links back. Add quoting / mentioning back.	2021-06-22 11:56:37 +01:00
Paul	9e460c5b3d	Refactor + add message box.	2021-06-20 20:30:42 +01:00
Paul	31d8950ea1	Port settings.	2021-06-19 22:37:12 +01:00