Title: [Plugin: Developer Formatter] Selecting code without line numbers
Last modified: August 20, 2016

---

# [Plugin: Developer Formatter] Selecting code without line numbers

 *  [Koshmaar](https://wordpress.org/support/users/koshmaar/)
 * (@koshmaar)
 * [14 years ago](https://wordpress.org/support/topic/plugin-developer-formatter-selecting-code-without-line-numbers/)
 * Hi, I used the DevFormatter 2012.0.1.38 on my WP 3.3.1 blog, it works great, 
   also I managed to customize the look to my taste in css.
 * However, there’s the problem with selecting the code, which also selects line
   numbers in FF 12 and Opera 11 and IE 8. I need to have line numbers, so I’m looking
   for a solution that will not select and copy them. I’m not afraid of modyfing
   DevFormatter code or adding something to functions.php 🙂
 * I learned that GESHI has a compatibility setting, header_type. I tried editing
   devgeshi.php where the $this->GeSHIObj->set_header_type(GESHI_HEADER_PRE); is
   and changing it to GESHI_HEADER_PRE_TABLE, but to no avail.
 * Also, I disabled the flash header – no effect.
 * [http://wordpress.org/extend/plugins/devformatter/](http://wordpress.org/extend/plugins/devformatter/)

Viewing 1 replies (of 1 total)

 *  Plugin Author [GSaraiva](https://wordpress.org/support/users/gsaraiva/)
 * (@gsaraiva)
 * [13 years, 11 months ago](https://wordpress.org/support/topic/plugin-developer-formatter-selecting-code-without-line-numbers/#post-2719645)
 * Hi Koshmaar,
 * DevFormatter is responsable for generate the line numbers now. Plain Text popup
   avoid the lines, but if this approach cannot be used, I really think you need
   to modify the source. And to be specific, you need to modify the code of **devformatter.
   php** at line 144.
 * Check out the lastest version, 2012.0.1.39.

Viewing 1 replies (of 1 total)

The topic ‘[Plugin: Developer Formatter] Selecting code without line numbers’ is
closed to new replies.

 * ![](https://s.w.org/plugins/geopattern-icon/devformatter.svg)
 * [Developer Formatter](https://wordpress.org/plugins/devformatter/)
 * [Frequently Asked Questions](https://wordpress.org/plugins/devformatter/#faq)
 * [Support Threads](https://wordpress.org/support/plugin/devformatter/)
 * [Active Topics](https://wordpress.org/support/plugin/devformatter/active/)
 * [Unresolved Topics](https://wordpress.org/support/plugin/devformatter/unresolved/)
 * [Reviews](https://wordpress.org/support/plugin/devformatter/reviews/)

 * 1 reply
 * 2 participants
 * Last reply from: [GSaraiva](https://wordpress.org/support/users/gsaraiva/)
 * Last activity: [13 years, 11 months ago](https://wordpress.org/support/topic/plugin-developer-formatter-selecting-code-without-line-numbers/#post-2719645)
 * Status: not resolved