comparison .settings/org.eclipse.core.resources.prefs @ 33:f371d02fa09d

mark unread feed entries bold. Add a menu item to toggle between read/unread
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 30 Apr 2010 06:22:33 +0200
parents 4ee11720c213
children 9fa1e33b67da
comparison
equal deleted inserted replaced
32:500ba01e7f7a 33:f371d02fa09d