Closed pbelmans closed 6 years ago
As per the request of Sándor: I don't want to have things in the sidebar (for now), but we can make the links clickable, removing the need for carefully selecting a line.
As per the request of Sándor: I don't want to have things in the sidebar (for now), but we can make the links clickable, removing the need for carefully selecting a line.