8 commits

Author	SHA1	Message	Date
zadam	f9abea83f3	refactoring of access to options in frontend	2019-08-22 23:31:02 +02:00
zadam	eee75bd2e8	fix node focus after hoisting	2019-05-21 22:07:08 +02:00
zadam	2dec8f1ad6	hoisting note now seems to work correctly in relation to tabs	2019-05-11 21:27:27 +02:00
zadam	8a501521e8	some refactoring etc.	2019-05-11 19:27:33 +02:00
zadam	064a11d872	don't allow deleting hoisted note + other related fixes, closes #488	2019-04-16 21:40:04 +02:00
azivner	841420360e	quick unhoist link/button	2018-12-15 20:29:08 +01:00
azivner	17d030e800	continuing work on hoisting notes	2018-12-12 20:39:56 +01:00
azivner	6fbf28b30d	hoisting notes WIP	2018-12-11 21:53:56 +01:00