make a dock widget
#742
Replies: 3 comments 1 reply
-
|
I will look into this more soon. |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
This may only require extending the tab property, so turn off #863 |
Beta Was this translation helpful? Give feedback.
0 replies
-
|
This functionality would be immensely useful! |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
I just filed #993 for this; if you have any feedback on how this should look, you can add it there. |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Beta Was this translation helpful? Give feedback.
All reactions