View Issue Details

IDProjectCategoryView StatusLast Update
0004997MMW v4Properties/Auto-Toolspublic2008-12-06 16:30
Reporterpeke Assigned To 
PriorityimmediateSeverityfeatureReproducibilityalways
Status closedResolutionfixed 
Fixed in Version3.1 
Summary0004997: Search options are not available via Search context menu
DescriptionUser is not capable to go directly to search settings from [\/] dropdown but it needs to got thrum Tools -> Options -> Library -> Search

Below Wikipedia, there should be a horizontal bar, and then Options...
TagsNo tags attached.
Fixed in build1201

Activities

rusty

2008-12-04 16:46

administrator   ~0015384

Set to 'immediate' on the expectation that this is trivial to implement. Push back if not.

Ludek

2008-12-05 13:01

developer   ~0015421

Fixed in build 1201.

stephen_platt

2008-12-06 16:30

developer   ~0015494

Verified 1201