..
commands
Do not force choosing project dir to suggestion
2022-01-05 23:42:47 +01:00
doc
Fix problem when opening project's module document
2021-12-30 15:26:40 +01:00
command.lua
Added missing NagView dialog commands to startup.
2021-06-09 20:13:23 -04:00
commandview.lua
Remeber initial user text for hidden suggestions
2021-09-09 15:42:16 +02:00
common.lua
Merge pull request #612 from Guldoman/fix_regex
2021-10-22 21:44:44 +02:00
config.lua
Implement directory monitoring using septag/dmon
2021-10-08 21:31:22 +02:00
contextmenu.lua
Added context menu to treeview.
2021-06-28 11:11:49 -04:00
docview.lua
Correct Node's clipping rectangle
2021-10-11 09:25:38 +02:00
init.lua
Fix problem with special file types
2022-01-05 23:32:26 +01:00
keymap-macos.lua
Bring back command find-replace:select-next
2021-09-09 21:40:41 +02:00
keymap.lua
Add `find-replace:select-previous`
2021-10-10 01:10:52 +02:00
logview.lua
remove unused variable
2021-09-07 14:59:03 +02:00
modkeys-generic.lua
Add macos keybindings
2021-04-21 09:48:30 +02:00
modkeys-macos.lua
Add macos keybindings
2021-04-21 09:48:30 +02:00
nagview.lua
Fix NagView missing mouse events
2021-12-29 16:00:53 +01:00
object.lua
Remove unused Object's method "implement"
2021-08-28 00:08:30 +02:00
regex.lua
Make `regex.match` return the appropriate `end` index
2021-10-11 22:32:50 +02:00
rootview.lua
Select a new primary node when closing the current one
2021-10-23 03:34:24 +02:00
start.lua
Removed extra macros, used PLATFORM. Also removed MACOS, as it's redundant C code that's already encapsulated within PLATFORM.
2021-10-02 18:39:03 +02:00
statusview.lua
Do not assume doc.indent_info is present
2021-03-05 23:47:36 +01:00
strict.lua
Initial commit
2019-12-28 11:17:56 +00:00
style.lua
Implement tab drag and drop
2021-10-02 18:36:59 +02:00
syntax.lua
Use `header` to get syntax only when provided
2021-10-25 14:06:07 +02:00
titleview.lua
Make non-borderless mode work
2021-04-12 19:05:30 +02:00
tokenizer.lua
Consume unmatched character correctly
2021-12-20 12:04:20 +01:00
view.lua
Fix dirty pixels problem on window's right side
2021-10-10 14:52:55 +02:00