Kevin Händel 16d529e935
Added "user-select" option to line numbers & messages
This prevents copying unnecessary text after selecting it via Ctrl + A
2018-02-11 00:35:27 +01:00
..
2017-06-26 12:38:17 -04:00
2011-11-29 20:24:53 -05:00
2012-01-22 23:41:40 -05:00
2017-10-31 19:48:55 -04:00
2011-11-23 11:31:50 -05:00
2016-09-12 20:10:15 -04:00