odin_editor

mirror of https://github.com/pcleavelin/odin_editor.git

Author	SHA1	Message	Date
Patrick Cleaveliln	06d9750cd2	re-write grep plugin built-in + move things around	2025-07-09 04:25:24 +00:00
Patrick Cleaveliln	97326b54f8	add initial grep panel, use input map of currently focused panel	2025-07-06 01:16:34 +00:00
Patrick Cleaveliln	342f31478e	change a bit how panels work	2025-07-05 23:19:22 +00:00