Public Git Hosting - yterm.git/commit

commit	ee331614e7e43b24c634ec601796e7b8498e12e3
author	ketmar <>
	Tue, 5 Sep 2023 03:37:16 +0000 (5 03:37 +0000)
committer	ketmar <>
	Tue, 5 Sep 2023 03:37:16 +0000 (5 03:37 +0000)
tree	683c2090387485d67274a0905cca2a94fc12ffb6	tree \| snapshot (tar.gz zip)
parent	fde1a40002dfea5798ee688a82feaa6a7b71c700	commit \| diff

added "reload config" to OSD menu; report config errors via OSD boxes on reloading

FossilOrigin-Name: 0337c8ee55384651244037ca4f49d97d2cabb93b7fd9f8bb6932580e330e6043

src/child_run.inc.c		diff \| blob \| blame \| history
src/menus.inc.c		diff \| blob \| blame \| history
src/osd_menu.inc.c		diff \| blob \| blame \| history
src/x11_render.inc.c		diff \| blob \| blame \| history
src/x11_xrm.inc.c		diff \| blob \| blame \| history
src/yterm_main.c		diff \| blob \| blame \| history

YTERM: emulator of a terminal emulator

RSS Atom