I think I'm confused about this for more than reason. I'm doing something with SYMBOL_MARGIN_WIDTH but the symbol margin as I understand it is the left-hand pane, in which the width is already resizable.

Correct me if I'm wrong, but it would make more sense to try this with the line number margin, which currently does not have a resizable width.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.