Gutter size

Brought to you by: pf18387, simbiotik, ursmaeder

Gutter size

Forum: Dev-PHP 3.0 Editor Development

Creator: Burggraaff

Created: 2004-08-23

Updated: 2004-08-24

Burggraaff - 2004-08-23

I want to change the width of the gutter, but it won't work with options>display>gutter>width.

Thanx.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
- Leonardo García - 2004-08-24
  
  This option is only used when Show Line Numbers is unchecked.
  
  If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.