comparison .settings/org.eclipse.core.resources.prefs @ 53:8cca4585eb33

the feed settings menu item starts out disabled and gets enabled once a feed is selected
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 18 May 2010 02:58:31 +0200
parents 6e5219e05625
children db35ab7753f0
comparison
equal deleted inserted replaced
52:6bc6899f3330 53:8cca4585eb33