Opened 13 years ago
|Reported by:||kjdon||Owned by:||nobody|
|Priority:||low||Milestone:||Greenstone 3 wishlist|
In search preferences, the type of search is bolded. If you change the type and click set prefs, then the new one becomes bold. However, just changing the type doesn't change the bolding, which it should.