Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
As I said above "Perhaps you could make #4023 closer to Vscode as you suggested, it not do resize if it hides, that would be useful for the user instead of trying to get a width again after its unhidden."
Just the first solution in a PR doesn't have to be the best one until we finish discussions.
Sure. On the other hand, it might not be worth it to spend much time in finding the perfect solution for an edge case when we already have a quite good solution. It can be optimised later anyway or we spend our limited time on other open topics.
After all, I'd leave this decision to @techee.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.