Files
Ansgar Becker 172ed7b725 Enhance tab restore feature:
* restore scroll position (EditorTopLine)
* restore active query tab (TabFocused)
* code cleanup: move identifier literals for tabs.ini to class constants
2020-12-08 20:36:57 +01:00
..
2018-10-30 16:44:48 +01:00
2019-07-17 21:59:18 +02:00
2019-07-17 21:59:18 +02:00
2019-07-17 21:59:18 +02:00
2019-07-17 21:59:18 +02:00
2019-07-17 21:59:18 +02:00
2019-07-17 21:59:18 +02:00
2020-12-08 20:36:57 +01:00
2020-12-08 20:36:57 +01:00