Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-3075804 ] Selection foreground color: selection painting problem
|
From: SourceForge.net <no...@so...> - 2012-05-30 07:17:37
|
Bugs item #3075804, was opened at 2010-09-26 00:41 Message generated for change (Comment added) made by jarekczek You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3075804&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: editor core Group: None >Status: Closed Resolution: Invalid Priority: 7 Private: No Submitted By: Shlomy Reinstein (shlomy) Assigned to: Nobody/Anonymous (nobody) Summary: Selection foreground color: selection painting problem Initial Comment: See attached images. When the "Selection foreground color" option is used, the selection sometimes skips one-pixel-high horizontal lines between the text lines. ---------------------------------------------------------------------- Comment By: Jarek Czekalski (jarekczek) Date: 2012-05-30 00:17 Message: The entry has been pending for 14 days or more and is being closed now. The procedure is described in wiki: https://sourceforge.net/apps/mediawiki/jedit/index.php?title=Bug_tracker_details#Pending ---------------------------------------------------------------------- Comment By: Jarek Czekalski (jarekczek) Date: 2012-04-25 10:53 Message: Please provide steps to reproduce. https://sourceforge.net/apps/mediawiki/jedit/index.php?title=Bug_tracker_details#Optional_information ---------------------------------------------------------------------- Comment By: Gill Smoke (gill_smoke) Date: 2011-10-14 12:01 Message: Is this still an issue? ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2010-09-26 00:42 Message: Reported by Daniel Johnson. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3075804&group_id=588 |