Project

General

Profile

Actions
Copy link

Feature #4175

closed
PA PA

Add "Options" menu item to Menubar -> "Tools"

Feature #4175: Add "Options" menu item to Menubar -> "Tools"

Added by Per Amundsen almost 7 years ago. Updated almost 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Per Amundsen
Category:
Interface
Target version:
3.3
Start date:
10/29/2018
Due date:
% Done:

0%

Estimated time:
Operative System:
All

Description

Add "Options" menu item to Menubar -> "Tools"

Options will still be available from the "File" menu for now.

PA Updated by Per Amundsen almost 7 years ago Actions
Copy link
 #1

  • Status changed from Resolved to Closed
Actions
Copy link

Also available in: PDF Atom