17 Commits

Author	SHA1	Message	Date
Eugene Pankov	3c6374be19	better ssh connection list management - fixes #1351	2021-04-25 21:06:23 +02:00
Eugene Pankov	b4e703674b	settings ui updates	2021-04-05 12:32:37 +02:00
Eugene Pankov	864932d663	settings ui tweak	2021-03-13 21:30:22 +01:00
Eugene Pankov	7977c1d644	cleanup	2020-12-06 17:27:45 +01:00
pinpin	37cc37650e	Fixes based on PR reviews	2020-11-17 09:14:05 +02:00
pinpin	17cafbfa52	add restart prompt	2020-11-16 22:19:44 +02:00
pinpin	299ede2eb1	Add Hide Tab Index and Hide Tab Close Button	2020-11-16 21:41:11 +02:00
Eugene Pankov	4eefab5655	made warning when closing SSH tabs optional - fixes #2801	2020-08-15 21:07:35 +02:00
Eugene Pankov	795979be07	color scheme previews (fixes #2286)	2020-03-22 23:17:25 +01:00
Eugene Pankov	b6c97ffa49	ui tweaks	2019-12-15 16:57:38 +01:00
Eugene Pankov	2ee336bef8	various scripts in appearance preview	2019-08-27 16:27:41 +02:00
Eugene Pankov	956d3dc6b1	proper font fallback support (fixes #1041)	2019-06-08 22:37:05 +02:00
Eugene Pankov	1c23db3b55	include xterm webgl renderer as a separate frontend	2019-06-05 22:16:24 +02:00
Eugene Pankov	dd4566cf02	#618 fixes	2019-01-27 23:58:55 +01:00
Eugene Pankov	f2be34d137	limit max font size (fixes #618)	2019-01-27 23:40:33 +01:00
Eugene Pankov	9aaf670092	fontawesome 5	2018-12-21 21:37:34 +01:00
Eugene Pankov	0fa94d8397	split terminal settings into separate tabs	2018-10-12 16:55:42 +02:00