Opened 11 years ago

Closed 11 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:


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

Change History (1)

comment:1 Changed 11 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.