2013-10-25 01:01:17 +02:00
|
|
|
#ifndef keymap_manager_hh_INCLUDED
|
|
|
|
#define keymap_manager_hh_INCLUDED
|
|
|
|
|
2015-03-09 14:48:41 +01:00
|
|
|
#include "array_view.hh"
|
2013-10-25 01:01:17 +02:00
|
|
|
#include "keys.hh"
|
2014-12-16 19:57:19 +01:00
|
|
|
#include "hash.hh"
|
2017-03-03 17:51:29 +01:00
|
|
|
#include "string.hh"
|
2017-03-07 01:30:54 +01:00
|
|
|
#include "hash_map.hh"
|
2015-01-12 14:45:44 +01:00
|
|
|
#include "vector.hh"
|
2013-10-25 01:01:17 +02:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2015-04-11 18:22:37 +02:00
|
|
|
enum class KeymapMode : char
|
2013-10-25 01:01:17 +02:00
|
|
|
{
|
|
|
|
None,
|
|
|
|
Normal,
|
|
|
|
Insert,
|
|
|
|
Prompt,
|
2014-09-23 14:45:18 +02:00
|
|
|
Menu,
|
|
|
|
Goto,
|
|
|
|
View,
|
2014-12-12 14:57:02 +01:00
|
|
|
User,
|
2015-07-01 17:47:42 +02:00
|
|
|
Object,
|
2018-01-18 09:57:14 +01:00
|
|
|
FirstUserMode,
|
2013-10-25 01:01:17 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
class KeymapManager
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
KeymapManager(KeymapManager& parent) : m_parent(&parent) {}
|
|
|
|
|
2015-01-12 14:45:44 +01:00
|
|
|
using KeyList = Vector<Key, MemoryDomain::Mapping>;
|
2017-03-03 17:51:29 +01:00
|
|
|
void map_key(Key key, KeymapMode mode, KeyList mapping, String docstring);
|
2013-10-25 01:01:17 +02:00
|
|
|
void unmap_key(Key key, KeymapMode mode);
|
2018-09-23 19:40:38 +02:00
|
|
|
void unmap_keys(KeymapMode mode);
|
2013-10-25 01:01:17 +02:00
|
|
|
|
|
|
|
bool is_mapped(Key key, KeymapMode mode) const;
|
2017-03-03 17:51:29 +01:00
|
|
|
KeyList get_mapped_keys(KeymapMode mode) const;
|
|
|
|
|
2017-11-24 10:25:36 +01:00
|
|
|
struct KeymapInfo
|
2017-03-03 17:51:29 +01:00
|
|
|
{
|
|
|
|
KeyList keys;
|
|
|
|
String docstring;
|
|
|
|
};
|
2017-11-24 10:25:36 +01:00
|
|
|
const KeymapInfo& get_mapping(Key key, KeymapMode mode) const;
|
2017-03-03 17:51:29 +01:00
|
|
|
|
2018-01-18 09:57:14 +01:00
|
|
|
using UserModeList = Vector<String>;
|
2018-03-02 07:45:04 +01:00
|
|
|
UserModeList& user_modes() {
|
|
|
|
if (m_parent)
|
|
|
|
return m_parent->user_modes();
|
|
|
|
return m_user_modes;
|
|
|
|
}
|
2018-01-18 09:57:14 +01:00
|
|
|
void add_user_mode(const String user_mode_name);
|
|
|
|
|
2013-10-25 01:01:17 +02:00
|
|
|
private:
|
|
|
|
KeymapManager()
|
|
|
|
: m_parent(nullptr) {}
|
|
|
|
// the only one allowed to construct a root map manager
|
2014-10-30 15:00:42 +01:00
|
|
|
friend class Scope;
|
2013-10-25 01:01:17 +02:00
|
|
|
|
|
|
|
KeymapManager* m_parent;
|
2014-12-16 19:57:19 +01:00
|
|
|
using KeyAndMode = std::pair<Key, KeymapMode>;
|
2017-11-24 10:25:36 +01:00
|
|
|
HashMap<KeyAndMode, KeymapInfo, MemoryDomain::Mapping> m_mapping;
|
2018-01-18 09:57:14 +01:00
|
|
|
|
|
|
|
UserModeList m_user_modes;
|
2013-10-25 01:01:17 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // keymap_manager_hh_INCLUDED
|