Project

General

Profile

Feature #65

[Search Tool] Add hotkey for search field

Added by Jan-Christian H almost 13 years ago. Updated almost 13 years ago.

Status:
Closed
Priority:
Minor
Assignee:
-
Category:
plugins/search tool
Target version:
3.3
Start date:
January 30, 2012
Due date:
% Done:

100%

Estimated time:
Affects version:
3.2

Description

It would be nice to have a hotkey to activate the search field.

History

#1 Updated by John Lindgren almost 13 years ago

  • Category set to plugins/search tool
  • Status changed from New to Closed
  • % Done changed from 0 to 100
  • Target version set to 3.3
  • Affects version added
  • Affects version deleted ()

Also available in: Atom PDF