<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Recent changes to bugs</title><link>https://sourceforge.net/p/sdoc/bugs/</link><description>Recent changes to bugs</description><atom:link href="https://sourceforge.net/p/sdoc/bugs/feed.rss" rel="self"/><language>en</language><lastBuildDate>Tue, 16 Jan 2007 07:01:08 -0000</lastBuildDate><atom:link href="https://sourceforge.net/p/sdoc/bugs/feed.rss" rel="self" type="application/rss+xml"/><item><title>Selected text is painted over by line highlight</title><link>https://sourceforge.net/p/sdoc/bugs/3/</link><description>&lt;div class="markdown_content"&gt;&lt;p&gt;Selected text is painted over by line highlight&lt;/p&gt;&lt;/div&gt;</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Jason Davis</dc:creator><pubDate>Tue, 16 Jan 2007 07:01:08 -0000</pubDate><guid>https://sourceforge.net461f97df86995061792f5b11e73436f9bfeeced0</guid></item><item><title>No undo support</title><link>https://sourceforge.net/p/sdoc/bugs/2/</link><description>&lt;div class="markdown_content"&gt;&lt;p&gt;No undo support!!&lt;/p&gt;&lt;/div&gt;</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Jason Davis</dc:creator><pubDate>Tue, 16 Jan 2007 06:32:23 -0000</pubDate><guid>https://sourceforge.netd1194068dc08f9fd1d458a530e36b852809348d3</guid></item><item><title>Current line highlight border paint problem</title><link>https://sourceforge.net/p/sdoc/bugs/1/</link><description>&lt;div class="markdown_content"&gt;&lt;p&gt;The border for the current line highlight&lt;br /&gt;
leaves some of the bottom line painted when the bottom&lt;br /&gt;
line is not the currently selected line.&lt;/p&gt;
&lt;p&gt;This is due to the selected line highlight being painted to big.&lt;/p&gt;&lt;/div&gt;</description><dc:creator xmlns:dc="http://purl.org/dc/elements/1.1/">Jason Davis</dc:creator><pubDate>Tue, 16 Jan 2007 05:56:14 -0000</pubDate><guid>https://sourceforge.nete56c20b6d2d10c19da41fc355d7d97844035a8d1</guid></item></channel></rss>