Ticket #615 (closed enhancement: fixed)

Opened 5 years ago

Last modified 3 years ago

Plugin Exception Catching

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

Description

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

comment:1 Changed 3 years ago by zenogantner

  • Priority changed from major to critical

comment:2 Changed 3 years ago by adamk

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

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.