cyber-dojo / web

repo for the cyberdojo/web Docker image; a cyber-dojo microservice

Home Page:https://cyber-dojo.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add option to toggle line-numbers

JonJagger opened this issue · comments

Currently when you click on the line-numbers column they toggle on/off.
Remove that.
Instead add a line-number toggle to the options dialog (only on kata/edit page).

Done.