 Jocelyn Boullier
|
8108f97802
feat: automatically switch to group of created tab
|
4 years ago |
|
Jocelyn Boullier
|
2e4883f545
fix(Bar): create new tab in the group of the parent if it exists
|
4 years ago |
|
Jocelyn Boullier
|
7e7b2d0409
fix: second part of the fix for correctly moving a tab between group
|
4 years ago |
|
Jocelyn Boullier
|
c46163e4df
fix(Sidebar): put tab at the end when moving it between groups
|
4 years ago |
|
Jocelyn Boullier
|
ae06920d3b
refactor: slight rewrite of log messages
|
4 years ago |
|
Jocelyn Boullier
|
8b7baad410
fix(Sidebar): activate the group when moving a tab between groups
|
4 years ago |
|
Jocelyn Boullier
|
6799b5bb70
refactor: add default case for moveTabToGroup
|
4 years ago |
|
Jocelyn Boullier
|
a22dc40fc7
fix: groups would restore properly, but be incorrect at the next session
|
4 years ago |
|
Jocelyn Boullier
|
f88c0b9d85
fix: tab activation happening before creation due to groups restoration logic
|
4 years ago |
|
Jocelyn Boullier
|
438c40b7e5
refactor(Sidebar/Bar): remove log statements
|
4 years ago |
|
Jocelyn Boullier
|
5501f82ac8
fix: groups and tabs should be properly restored now
|
4 years ago |
|
Jocelyn Boullier
|
c089bcc8b0
feat: save groups per window instead of globally
|
4 years ago |
|
Jocelyn Boullier
|
881cc63969
fix(sidebar): incorrect tabs initialization when multiple groups
|
4 years ago |
|
Jocelyn Boullier
|
45819dd7ec
fix(sidebar): put tab at the end after drag-and-drop between groups
|
4 years ago |
|
Jocelyn Boullier
|
67661fc0e2
feat: save and restore groups, w/ their tabs
|
4 years ago |
|
Jocelyn Boullier
|
6f8bd3b749
feat: initial version of saving/restoring tabs in their previous group
|
4 years ago |
|
Jocelyn Boullier
|
c6c515be0e
fix: when a group is deleted, switch to the group of the active tab
|
4 years ago |
|
Jocelyn Boullier
|
5898a05080
feat: add group deletion
|
4 years ago |
|
Jocelyn Boullier
|
284ad74112
style: remove ununsed imports
|
4 years ago |
|
Jocelyn Boullier
|
88106380a2
feat(sidebar): implement moving a tab to an other group
|
4 years ago |
|
Jocelyn Boullier
|
7eb9c9b055
feat: hide tabs by group
|
4 years ago |
|
Jocelyn Boullier
|
0b6e735c3b
refactor(sidebar/Bar): rewrite expression to be more readable
|
4 years ago |
|
Jocelyn Boullier
|
73c763722a
fix: when using groups + ctrl+tab, multiple tabs shown as activated
|
4 years ago |
|
Jocelyn Boullier
|
e3093a8cac
fix: correctly implement moving tabs when more than one groups
|
4 years ago |
|
Jocelyn Boullier
|
4ca1c847bf
fix(sidebar/bar): incorrect event sent to child on TabCreated
|
4 years ago |
|
Jocelyn Boullier
|
fdcfa8ba26
fix: correctly handle attach/detach event following refactor
|
4 years ago |
|
Jocelyn Boullier
|
f9b37951b6
refactor: clean up Background.purs, split Model.purs file
|
4 years ago |
|
Jocelyn Boullier
|
bc5f012bf5
refactor: remove unused all import (no more warnings)
|
4 years ago |
|
Jocelyn Boullier
|
9a1044829d
feat: add top menu bar to add a new group
|
4 years ago |
|
Jocelyn Boullier
|
4e7bf6d71d
feat: rename group by double clicking on it
|
4 years ago |
