15 | | Other than appealing to minimalists, this is useful in conjunction with something along the lines of [http://elide.org/widgets/linenumbers] - that's client-side Javascript to dynamically insert non-selectable line numbers. In other words, this lets you cut and paste code without bringing along the line numbers too. |
| 15 | Other than appealing to minimalists, this is useful in conjunction with something along the lines of [http://elide.org/widgets/linenumbers], which is client-side Javascript to dynamically insert non-selectable line numbers. In other words, this lets you cut and paste code without bringing along the line numbers too. |
| 16 | |
| 17 | If you find this plugin useful, I'd love to hear what for; come and find me on IRC as {{{kate`}}} on [http://freenode.net/ freenode] and let me know. Thanks! |