Changes between Version 8 and Version 9 of PreCodeBrowserPlugin


Ignore:
Timestamp:
Mar 8, 2017, 8:02:22 PM (7 years ago)
Author:
figaro
Comment:

Further cosmetic changes

Legend:

Unmodified
Added
Removed
Modified
  • PreCodeBrowserPlugin

    v8 v9  
    1313That code is actually inside a `<pre>` tag.
    1414
    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.
     15Other 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
     17If 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!
    1618
    1719== Bugs/Feature Requests
     
    2224If you have any issues, create a
    2325[/newticket?component=PreCodeBrowserPlugin new ticket].
    24 
    25 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!
    2626
    2727[[TicketQuery(component=PreCodeBrowserPlugin&group=type,format=progress)]]