9 commits

Author	SHA1	Message	Date
zadam	d1bb62c40e	fixes	2020-02-05 22:46:20 +01:00
zadam	42017fde5f	refactored access to options on frontend	2020-02-05 22:08:45 +01:00
zadam	9f38ea6ee7	update tab title upon its change	2020-02-01 19:25:37 +01:00
zadam	eeedb91ef7	sync are sent upon DB commit	2020-01-31 22:32:24 +01:00
zadam	8bf794f13b	wip	2020-01-30 22:38:31 +01:00
zadam	b65631be7e	tree change listener and others	2020-01-29 21:38:58 +01:00
zadam	439b45b0b8	refactored entity reloading	2020-01-29 20:14:02 +01:00
zadam	368d3b1b97	wip	2020-01-28 21:54:28 +01:00
zadam	9301679707	wip	2020-01-27 22:58:03 +01:00