2023-11-10 21:47:45 +00:00
|
|
|
use crate::{
|
2023-11-17 01:32:02 +00:00
|
|
|
Action, ActionRegistry, DispatchPhase, FocusId, KeyBinding, KeyContext, KeyMatch, Keymap,
|
|
|
|
Keystroke, KeystrokeMatcher, WindowContext,
|
2023-11-10 21:47:45 +00:00
|
|
|
};
|
|
|
|
use collections::HashMap;
|
|
|
|
use parking_lot::Mutex;
|
|
|
|
use smallvec::SmallVec;
|
|
|
|
use std::{
|
|
|
|
any::{Any, TypeId},
|
2023-11-13 17:29:18 +00:00
|
|
|
rc::Rc,
|
2023-11-10 21:47:45 +00:00
|
|
|
sync::Arc,
|
|
|
|
};
|
|
|
|
|
|
|
|
#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
|
|
|
|
pub struct DispatchNodeId(usize);
|
|
|
|
|
2023-11-13 17:29:18 +00:00
|
|
|
pub(crate) struct DispatchTree {
|
2023-11-10 21:47:45 +00:00
|
|
|
node_stack: Vec<DispatchNodeId>,
|
2023-12-04 21:28:37 +00:00
|
|
|
pub(crate) context_stack: Vec<KeyContext>,
|
2023-11-10 21:47:45 +00:00
|
|
|
nodes: Vec<DispatchNode>,
|
|
|
|
focusable_node_ids: HashMap<FocusId, DispatchNodeId>,
|
|
|
|
keystroke_matchers: HashMap<SmallVec<[KeyContext; 4]>, KeystrokeMatcher>,
|
|
|
|
keymap: Arc<Mutex<Keymap>>,
|
2023-11-17 01:32:02 +00:00
|
|
|
action_registry: Rc<ActionRegistry>,
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Default)]
|
2023-11-13 17:29:18 +00:00
|
|
|
pub(crate) struct DispatchNode {
|
|
|
|
pub key_listeners: SmallVec<[KeyListener; 2]>,
|
2023-11-13 19:48:36 +00:00
|
|
|
pub action_listeners: SmallVec<[DispatchActionListener; 16]>,
|
2023-11-13 17:29:18 +00:00
|
|
|
pub context: KeyContext,
|
2023-11-10 21:47:45 +00:00
|
|
|
parent: Option<DispatchNodeId>,
|
|
|
|
}
|
|
|
|
|
2023-11-13 17:29:18 +00:00
|
|
|
type KeyListener = Rc<dyn Fn(&dyn Any, DispatchPhase, &mut WindowContext)>;
|
|
|
|
|
|
|
|
#[derive(Clone)]
|
2023-11-13 19:48:36 +00:00
|
|
|
pub(crate) struct DispatchActionListener {
|
2023-11-13 17:29:18 +00:00
|
|
|
pub(crate) action_type: TypeId,
|
|
|
|
pub(crate) listener: Rc<dyn Fn(&dyn Any, DispatchPhase, &mut WindowContext)>,
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
|
2023-11-13 17:29:18 +00:00
|
|
|
impl DispatchTree {
|
2023-11-17 01:32:02 +00:00
|
|
|
pub fn new(keymap: Arc<Mutex<Keymap>>, action_registry: Rc<ActionRegistry>) -> Self {
|
2023-11-10 21:47:45 +00:00
|
|
|
Self {
|
|
|
|
node_stack: Vec::new(),
|
|
|
|
context_stack: Vec::new(),
|
|
|
|
nodes: Vec::new(),
|
|
|
|
focusable_node_ids: HashMap::default(),
|
|
|
|
keystroke_matchers: HashMap::default(),
|
|
|
|
keymap,
|
2023-11-17 01:32:02 +00:00
|
|
|
action_registry,
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn clear(&mut self) {
|
|
|
|
self.node_stack.clear();
|
|
|
|
self.nodes.clear();
|
2023-11-13 14:31:35 +00:00
|
|
|
self.context_stack.clear();
|
|
|
|
self.focusable_node_ids.clear();
|
|
|
|
self.keystroke_matchers.clear();
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
|
2023-11-15 19:11:07 +00:00
|
|
|
pub fn push_node(&mut self, context: KeyContext) {
|
2023-11-10 21:47:45 +00:00
|
|
|
let parent = self.node_stack.last().copied();
|
|
|
|
let node_id = DispatchNodeId(self.nodes.len());
|
|
|
|
self.nodes.push(DispatchNode {
|
|
|
|
parent,
|
|
|
|
..Default::default()
|
|
|
|
});
|
|
|
|
self.node_stack.push(node_id);
|
|
|
|
if !context.is_empty() {
|
2023-11-13 10:37:57 +00:00
|
|
|
self.active_node().context = context.clone();
|
2023-11-10 21:47:45 +00:00
|
|
|
self.context_stack.push(context);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn pop_node(&mut self) {
|
|
|
|
let node_id = self.node_stack.pop().unwrap();
|
|
|
|
if !self.nodes[node_id.0].context.is_empty() {
|
|
|
|
self.context_stack.pop();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-15 19:11:07 +00:00
|
|
|
pub fn clear_keystroke_matchers(&mut self) {
|
|
|
|
self.keystroke_matchers.clear();
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Preserve keystroke matchers from previous frames to support multi-stroke
|
|
|
|
/// bindings across multiple frames.
|
|
|
|
pub fn preserve_keystroke_matchers(&mut self, old_tree: &mut Self, focus_id: Option<FocusId>) {
|
|
|
|
if let Some(node_id) = focus_id.and_then(|focus_id| self.focusable_node_id(focus_id)) {
|
|
|
|
let dispatch_path = self.dispatch_path(node_id);
|
|
|
|
|
|
|
|
self.context_stack.clear();
|
|
|
|
for node_id in dispatch_path {
|
|
|
|
let node = self.node(node_id);
|
|
|
|
if !node.context.is_empty() {
|
|
|
|
self.context_stack.push(node.context.clone());
|
|
|
|
}
|
|
|
|
|
|
|
|
if let Some((context_stack, matcher)) = old_tree
|
|
|
|
.keystroke_matchers
|
|
|
|
.remove_entry(self.context_stack.as_slice())
|
|
|
|
{
|
|
|
|
self.keystroke_matchers.insert(context_stack, matcher);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-10 21:47:45 +00:00
|
|
|
pub fn on_key_event(&mut self, listener: KeyListener) {
|
|
|
|
self.active_node().key_listeners.push(listener);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn on_action(
|
|
|
|
&mut self,
|
|
|
|
action_type: TypeId,
|
2023-11-13 17:29:18 +00:00
|
|
|
listener: Rc<dyn Fn(&dyn Any, DispatchPhase, &mut WindowContext)>,
|
2023-11-10 21:47:45 +00:00
|
|
|
) {
|
2023-11-13 19:48:36 +00:00
|
|
|
self.active_node()
|
|
|
|
.action_listeners
|
|
|
|
.push(DispatchActionListener {
|
|
|
|
action_type,
|
|
|
|
listener,
|
|
|
|
});
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn make_focusable(&mut self, focus_id: FocusId) {
|
|
|
|
self.focusable_node_ids
|
|
|
|
.insert(focus_id, self.active_node_id());
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn focus_contains(&self, parent: FocusId, child: FocusId) -> bool {
|
|
|
|
if parent == child {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
if let Some(parent_node_id) = self.focusable_node_ids.get(&parent) {
|
|
|
|
let mut current_node_id = self.focusable_node_ids.get(&child).copied();
|
|
|
|
while let Some(node_id) = current_node_id {
|
|
|
|
if node_id == *parent_node_id {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
current_node_id = self.nodes[node_id.0].parent;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
false
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn available_actions(&self, target: FocusId) -> Vec<Box<dyn Action>> {
|
|
|
|
let mut actions = Vec::new();
|
|
|
|
if let Some(node) = self.focusable_node_ids.get(&target) {
|
|
|
|
for node_id in self.dispatch_path(*node) {
|
|
|
|
let node = &self.nodes[node_id.0];
|
2023-11-13 19:48:36 +00:00
|
|
|
for DispatchActionListener { action_type, .. } in &node.action_listeners {
|
2023-11-17 01:32:02 +00:00
|
|
|
// Intentionally silence these errors without logging.
|
|
|
|
// If an action cannot be built by default, it's not available.
|
|
|
|
actions.extend(self.action_registry.build_action_type(action_type).ok());
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
actions
|
|
|
|
}
|
|
|
|
|
2023-12-04 21:28:37 +00:00
|
|
|
pub fn bindings_for_action(
|
|
|
|
&self,
|
|
|
|
action: &dyn Action,
|
|
|
|
context_stack: &Vec<KeyContext>,
|
|
|
|
) -> Vec<KeyBinding> {
|
2023-11-13 22:33:22 +00:00
|
|
|
self.keymap
|
|
|
|
.lock()
|
|
|
|
.bindings_for_action(action.type_id())
|
2023-12-04 20:53:38 +00:00
|
|
|
.filter(|candidate| {
|
2023-12-04 21:28:37 +00:00
|
|
|
if !candidate.action.partial_eq(action) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
for i in 1..context_stack.len() {
|
2023-12-04 21:37:47 +00:00
|
|
|
if candidate.matches_context(&context_stack[0..=i]) {
|
2023-12-04 21:28:37 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return false;
|
2023-12-04 20:53:38 +00:00
|
|
|
})
|
2023-11-13 22:33:22 +00:00
|
|
|
.cloned()
|
|
|
|
.collect()
|
|
|
|
}
|
|
|
|
|
2023-11-13 17:29:18 +00:00
|
|
|
pub fn dispatch_key(
|
2023-11-10 21:47:45 +00:00
|
|
|
&mut self,
|
2023-11-13 17:29:18 +00:00
|
|
|
keystroke: &Keystroke,
|
|
|
|
context: &[KeyContext],
|
|
|
|
) -> Option<Box<dyn Action>> {
|
2023-11-13 19:48:36 +00:00
|
|
|
if !self.keystroke_matchers.contains_key(context) {
|
|
|
|
let keystroke_contexts = context.iter().cloned().collect();
|
2023-11-13 17:29:18 +00:00
|
|
|
self.keystroke_matchers.insert(
|
|
|
|
keystroke_contexts,
|
|
|
|
KeystrokeMatcher::new(self.keymap.clone()),
|
|
|
|
);
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
|
2023-11-13 19:48:36 +00:00
|
|
|
let keystroke_matcher = self.keystroke_matchers.get_mut(context).unwrap();
|
2023-11-13 17:29:18 +00:00
|
|
|
if let KeyMatch::Some(action) = keystroke_matcher.match_keystroke(keystroke, context) {
|
|
|
|
// Clear all pending keystrokes when an action has been found.
|
|
|
|
for keystroke_matcher in self.keystroke_matchers.values_mut() {
|
|
|
|
keystroke_matcher.clear_pending();
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
|
2023-11-13 17:29:18 +00:00
|
|
|
Some(action)
|
|
|
|
} else {
|
|
|
|
None
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-13 17:29:18 +00:00
|
|
|
pub fn dispatch_path(&self, target: DispatchNodeId) -> SmallVec<[DispatchNodeId; 32]> {
|
2023-11-10 21:47:45 +00:00
|
|
|
let mut dispatch_path: SmallVec<[DispatchNodeId; 32]> = SmallVec::new();
|
|
|
|
let mut current_node_id = Some(target);
|
|
|
|
while let Some(node_id) = current_node_id {
|
|
|
|
dispatch_path.push(node_id);
|
|
|
|
current_node_id = self.nodes[node_id.0].parent;
|
|
|
|
}
|
|
|
|
dispatch_path.reverse(); // Reverse the path so it goes from the root to the focused node.
|
|
|
|
dispatch_path
|
|
|
|
}
|
2023-11-13 17:29:18 +00:00
|
|
|
|
2023-11-13 17:33:08 +00:00
|
|
|
pub fn node(&self, node_id: DispatchNodeId) -> &DispatchNode {
|
|
|
|
&self.nodes[node_id.0]
|
|
|
|
}
|
|
|
|
|
|
|
|
fn active_node(&mut self) -> &mut DispatchNode {
|
|
|
|
let active_node_id = self.active_node_id();
|
|
|
|
&mut self.nodes[active_node_id.0]
|
|
|
|
}
|
|
|
|
|
2023-11-13 17:29:18 +00:00
|
|
|
pub fn focusable_node_id(&self, target: FocusId) -> Option<DispatchNodeId> {
|
|
|
|
self.focusable_node_ids.get(&target).copied()
|
|
|
|
}
|
2023-11-13 17:33:08 +00:00
|
|
|
|
|
|
|
fn active_node_id(&self) -> DispatchNodeId {
|
|
|
|
*self.node_stack.last().unwrap()
|
|
|
|
}
|
2023-11-10 21:47:45 +00:00
|
|
|
}
|