Export Stored Procs

New Hiedi and likeing it a lot.

I'm trying to export a stored proc to file and not having an easy go of it. All I get is this:

-- --------------------------------------------------------

-- Host:                         127.0.0.1

-- Server version:               5.5.5-10.0.16-MariaDB - mariadb.org binary distribution

-- Server OS:                    Win64

-- HeidiSQL Version:             8.3.0.4694

-- --------------------------------------------------------


/*!40101 SET @OLD_CHARACTER_SET_CLIENT=@@CHARACTER_SET_CLIENT */;
/*!40101 SET NAMES utf8 */;
/*!40014 SET @OLD_FOREIGN_KEY_CHECKS=@@FOREIGN_KEY_CHECKS, FOREIGN_KEY_CHECKS=0 */;
/*!40101 SET @OLD_SQL_MODE=@@SQL_MODE, SQL_MODE='NO_AUTO_VALUE_ON_ZERO' */;/*!40101 SET SQL_MODE=IFNULL(@OLD_SQL_MODE, '') */;
/*!40014 SET FOREIGN_KEY_CHECKS=IF(@OLD_FOREIGN_KEY_CHECKS IS NULL, 1, @OLD_FOREIGN_KEY_CHECKS) */;
/*!40101 SET CHARACTER_SET_CLIENT=@OLD_CHARACTER_SET_CLIENT */;

I'm not getting any of the sql scripting for the proc. Not sure why.

Any help would be appreciated.

Be sure the checkbox Tables: "Create" is activated. After that, I get such an SQL script:

-- --------------------------------------------------------

-- Host:                         127.0.0.1

-- Server version:               10.0.8-MariaDB - mariadb.org binary distribution

-- Server OS:                    Win64

-- HeidiSQL Version:             8.3.0.4750

-- --------------------------------------------------------


/*!40101 SET @OLD_CHARACTER_SET_CLIENT=@@CHARACTER_SET_CLIENT */;
/*!40101 SET NAMES utf8mb4 */;
/*!40014 SET @OLD_FOREIGN_KEY_CHECKS=@@FOREIGN_KEY_CHECKS, FOREIGN_KEY_CHECKS=0 */;
/*!40101 SET @OLD_SQL_MODE=@@SQL_MODE, SQL_MODE='NO_AUTO_VALUE_ON_ZERO' */;
-- Dumping structure for procedure test.proctest

DELIMITER //
CREATE DEFINER=`root`@`127.0.0.1` PROCEDURE `proctest`()
BEGIN
select 1;
END//
DELIMITER ;
/*!40101 SET SQL_MODE=IFNULL(@OLD_SQL_MODE, '') */;
/*!40014 SET FOREIGN_KEY_CHECKS=IF(@OLD_FOREIGN_KEY_CHECKS IS NULL, 1, @OLD_FOREIGN_KEY_CHECKS) */;
/*!40101 SET CHARACTER_SET_CLIENT=@OLD_CHARACTER_SET_CLIENT */;

That did it!!

Thanks!