-
Christian Hergert authored
The goal here is to have the "buffers" behind various tab implementations implement this and then we can create widgets for them dynamically.
6dd1237a
The goal here is to have the "buffers" behind various tab implementations implement this and then we can create widgets for them dynamically.