<?php

/**
 * Options for the myshortcuts plugin
 *
 * @author David Jiménez <davidjimenez75@gmail.com>
 */

$meta['shortcut_edit']    = array('string');
$meta['shortcut_save']    = array('string');
$meta['shortcut_snippet'] = array('string');

// Individual snippets (1-9, 0) for menu with Ctrl+i
$meta['snippet_1']        = array('string');
$meta['snippet_2']        = array('string');
$meta['snippet_3']        = array('string');
$meta['snippet_4']        = array('string');
$meta['snippet_5']        = array('string');
$meta['snippet_6']        = array('string');
$meta['snippet_7']        = array('string');
$meta['snippet_8']        = array('string');
$meta['snippet_9']        = array('string');
$meta['snippet_0']        = array('string');