Opened 10 years ago

Closed 9 years ago

#615 closed enhancement (fixed)

Plugin Exception Catching

Reported by: patspam Owned by:
Priority: critical Milestone:
Component: plugins Version: 0.47
Keywords: Cc:


Not sure how feasible this would be but..

It would be really nice if Plugin exceptions were caught and triggered a message rather than killing your entire Padre session. Something like:

Sorry, Plugin X just died with message Y. Please contact the plugin author (Z) and/or the Padre development team so that they can fix this bug. Do you want Padre to disable this plugin for you to prevent further crashes?

Change History (2)

comment:1 Changed 9 years ago by zenogantner

  • Priority changed from major to critical

comment:2 Changed 9 years ago by adamk

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

We've got a reasonable first approximation of this, closing for now until someone complains that the message sucks.

Note: See TracTickets for help on using tickets.