annotate .settings/org.eclipse.core.resources.prefs @ 206:f74fe7cb5091

when updating feeds, only ever create new Feed objects for entries that are younger than the current expire date. This ensures that we do not see old, read, expired entries again
author dirk
date Sat, 02 Jun 2012 04:30:04 +0200
parents 460a3062c5e6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
198
460a3062c5e6 create the database if it doesn't exist and drop it after test
dirk
parents: 61
diff changeset
1 #Fri Jan 27 02:15:29 CET 2012
25
4ee11720c213 add a bulider that keeps the .ui files in sync automatically
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
2 eclipse.preferences.version=1
198
460a3062c5e6 create the database if it doesn't exist and drop it after test
dirk
parents: 61
diff changeset
3 encoding/Feedworm_rc.py=utf-8
25
4ee11720c213 add a bulider that keeps the .ui files in sync automatically
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
4 encoding/Ui_AddFeed.py=utf-8
48
6e5219e05625 GUI for feed settings
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 41
diff changeset
5 encoding/Ui_FeedSettings.py=utf-8
25
4ee11720c213 add a bulider that keeps the .ui files in sync automatically
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
6 encoding/Ui_MainWindow.py=utf-8
61
db35ab7753f0 add a preference to hide read feed entries
Dirk Olmes <dirk@xanthippe.ping.de>
parents: 48
diff changeset
7 encoding/Ui_Preferences.py=utf-8