Opened 5 years ago

Closed 5 years ago

#771 closed defect (fixed)

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 (1)

comment:1 Changed 5 years ago by Sewi

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

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

Note: See TracTickets for help on using tickets.