Ticket #771 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

when plugin is enabled in Plugin Manager it does not show up in menu

Reported by: szabgab Owned by:
Priority: major Milestone:
Component: editor Version: trunk
Keywords: Cc:

Description

one needs to restart Padre to see the new menu options r9260

Change History

comment:1 Changed 4 years ago by Sewi

  • Status changed from new to closed
  • Resolution set to fixed

Fixed in a recent revision when the menu refresh issue was fixed.

Note: See TracTickets for help on using tickets.