Module for editing MySQL procedures:
You can search and mark in the SQL editor.
Procedure can be run for testing.
Available are archiving and download.
Labeled menu by double-clicking title bar.