8 Commits

Author	SHA1	Message	Date
Eugene Pankov	98476df882	bumped eslint	2022-12-05 12:16:27 +01:00
Martin Grulich	0eb1e8117c	optional profile icon added to tabHeader	2022-02-15 13:42:20 +01:00
Eugene Pankov	61c11abda2	don't include tab state in saved layouts	2022-01-10 20:39:29 +01:00
Eugene Pankov	7551201796	fixed recovery of custom tab titles - fixes #4406	2021-08-14 23:36:41 +02:00
Eugene Pankov	fa70447223	keep "disable dynamic title" while duplicating or restoring a tab - fixes #4334	2021-08-04 19:51:08 +02:00
Eugene Pankov	74f91b7cb3	don't remember tabs if recovery is disabled	2021-07-27 20:40:08 +02:00
Eugene Pankov	92b34fbc08	new profile system	2021-07-04 12:23:27 +02:00
Eugene Pankov	43cd3318da	project rename	2021-06-29 23:57:04 +02:00