Moved wxStyledTextCtrl marker's mask enum ("marker_mask_type") to the BookmarksManager class (in the plugin SDK folder) so it will be accessible to plugins