document and change 'display_line_numbers' option default - Githubissues

JosephLenton / PHP-Error

Better error reporting for PHP, and prettier too!

1.35k stars 151 forks source link

document and change 'display_line_numbers' option default #68

Closed JosephLenton closed 11 years ago

JosephLenton commented 11 years ago

Currently 'display_line_numbers' is undocumented, add documentation for it!
Change the default from 'false', to 'true'.
Add support to hide the line numbers gutter, when it is set to false.