[ jEdit-devel ] [jedit:patches] #593 Various small patches to modes

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:patches] #593 Various small patches to modes

AdamS

[patches:#593] Various small patches to modes

Status: open
Group:
Created: Fri Oct 21, 2016 11:05 AM UTC by AdamS
Last Updated: Fri Oct 21, 2016 11:05 AM UTC
Owner: nobody
Attachments:

I won't use jEdit so much in future, but I appreciate thw work done by the devs and would like to share some minor fixes I made over the last year or so.

a:active{font-weight: bold}

Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:patches] #593 Various small patches to modes

Alan Ezust-2

Thanks for your help. Do you want to be attributed in the CHANGES.txt as "AdamS" or under your full name?


[patches:#593] Various small patches to modes

Status: open
Group:
Created: Fri Oct 21, 2016 11:05 AM UTC by AdamS
Last Updated: Fri Oct 21, 2016 11:05 AM UTC
Owner: nobody
Attachments:

I won't use jEdit so much in future, but I appreciate thw work done by the devs and would like to share some minor fixes I made over the last year or so.

a:active{font-weight: bold}

Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:patches] #593 Various small patches to modes

Alan Ezust-2
In reply to this post by AdamS
  • status: open --> closed-accepted
  • Group: -->
  • Comment:

Committed revision 24655


[patches:#593] Various small patches to modes

Status: closed-accepted
Group:
Created: Fri Oct 21, 2016 11:05 AM UTC by AdamS
Last Updated: Sun Mar 19, 2017 06:19 PM UTC
Owner: nobody
Attachments:

I won't use jEdit so much in future, but I appreciate thw work done by the devs and would like to share some minor fixes I made over the last year or so.

a:active{font-weight: bold}

Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...