Dmitrii Kovanikov
|
f6610ea77b
|
Organise modules into a nice structure
|
2024-06-23 15:02:31 +01:00 |
|
Dmitrii Kovanikov
|
6cc0915c77
|
Simplify file cursor type
|
2024-06-23 13:42:54 +01:00 |
|
Dmitrii Kovanikov
|
200cb4665b
|
Support file scrolling
|
2024-06-22 19:47:15 +01:00 |
|
Dmitrii Kovanikov
|
98b9b48d6f
|
Add scroller
|
2024-06-22 18:11:10 +01:00 |
|
Dmitrii Kovanikov
|
b42f13afcd
|
Put warnings in README
|
2024-06-22 13:22:54 +01:00 |
|
Dmitrii Kovanikov
|
4f326ffc4a
|
Create horizontal line filler
|
2024-06-22 12:53:19 +01:00 |
|
Dmitrii Kovanikov
|
15302724c0
|
Make horizontal_fill take character filler
|
2024-06-22 12:20:30 +01:00 |
|
Dmitrii Kovanikov
|
8551b60cbe
|
Move debug info into the about window
|
2024-06-22 12:01:11 +01:00 |
|
Dmitrii Kovanikov
|
26dff75139
|
Decrease FPS
|
2024-06-22 11:52:14 +01:00 |
|
Dmitrii Kovanikov
|
a7ff3e67b7
|
WIP
|
2024-06-20 18:23:19 +01:00 |
|
Dmitrii Kovanikov
|
69aa9d6eba
|
Rename graphemes_len to width
|
2024-04-07 13:18:31 +01:00 |
|
Dmitrii Kovanikov
|
a026d6a1c0
|
Calculate line width properly
|
2024-04-07 13:15:15 +01:00 |
|
Dmitrii Kovanikov
|
2d6a0083bf
|
Add initial support for horizontal filling
|
2024-04-07 12:54:08 +01:00 |
|
Dmitrii Kovanikov
|
e7b216cdfb
|
Move Lines API into a separate module, add dummy Horizontal_fill
|
2024-04-07 11:50:38 +01:00 |
|
Dmitrii Kovanikov
|
9ce06264bd
|
Rename doc elements, change to a list
|
2024-04-07 10:50:23 +01:00 |
|
Dmitrii Kovanikov
|
77fac2dbe6
|
Preview file contents
|
2024-03-24 13:21:30 +00:00 |
|
Dmitrii Kovanikov
|
a5e6cf13f1
|
Add terminal size debug info
|
2024-03-24 11:42:12 +00:00 |
|
Dmitrii Kovanikov
|
d8a889e117
|
Refactor initial_data into a separate type
|
2024-03-24 11:30:54 +00:00 |
|
Dmitrii Kovanikov
|
d0647d54ef
|
Remove redundant option from file_at
|
2024-03-23 12:10:59 +00:00 |
|
Dmitrii Kovanikov
|
a665334b07
|
Use pretty Hack Nerd Font icons for files
|
2024-03-23 12:06:36 +00:00 |
|
Dmitrii Kovanikov
|
e635a00883
|
Move the tree widget from view to widget.ml
|
2024-03-23 11:18:46 +00:00 |
|
Dmitrii Kovanikov
|
20bf532497
|
Move tab widgets into a separate file
|
2024-03-23 11:09:42 +00:00 |
|
Dmitrii Kovanikov
|
dfcca199c3
|
Restructure the tui/ directory
|
2024-03-23 10:53:03 +00:00 |
|
Dmitrii Kovanikov
|
a17832ec66
|
Add pretty-printing .mli
|
2024-03-23 10:41:54 +00:00 |
|
Dmitrii Kovanikov
|
ca3e011d2d
|
Add .mli for FS operations
|
2024-03-23 10:37:23 +00:00 |
|
Dmitrii Kovanikov
|
096f32b9bd
|
Format OCaml code
|
2024-03-23 10:26:12 +00:00 |
|
Dmitrii Kovanikov
|
492f54e246
|
Add ocamlformat config
|
2024-03-23 10:13:09 +00:00 |
|
Dmitrii Kovanikov
|
3751f26c91
|
Add docs on how to build a project
|
2024-03-23 10:07:04 +00:00 |
|
Dmitrii Kovanikov
|
7a6547888a
|
Specify pin depends
|
2024-03-23 10:01:27 +00:00 |
|
Dmitrii Kovanikov
|
7d4a4f302e
|
Fix bug in the current pwd display
|
2024-02-25 12:42:48 +00:00 |
|
Dmitrii Kovanikov
|
385e8423b0
|
Implement steps next and back
|
2024-02-25 12:32:19 +00:00 |
|
Dmitrii Kovanikov
|
c201f7b555
|
Display current directory
|
2024-02-25 12:08:17 +00:00 |
|
Dmitrii Kovanikov
|
af0b587d25
|
Minor cosmetics to directory names
|
2024-02-25 11:54:29 +00:00 |
|
Dmitrii Kovanikov
|
6880bc363e
|
Read directory contents from a directory
|
2024-02-25 11:53:44 +00:00 |
|
Dmitrii Kovanikov
|
ab6ea0527a
|
Print next files with file connector
|
2024-02-11 13:16:50 +00:00 |
|
Dmitrii Kovanikov
|
0110a532c2
|
Fix corner
|
2024-02-04 17:00:55 +00:00 |
|
Dmitrii Kovanikov
|
c1fbb38495
|
Show children (in a ungly way)
|
2024-02-04 16:51:25 +00:00 |
|
Dmitrii Kovanikov
|
e6215030cf
|
Use styled library in main view
|
2024-02-04 16:18:52 +00:00 |
|
Dmitrii Kovanikov
|
65e041b606
|
Refactor pretty-printing library to support styles
|
2024-02-04 16:07:59 +00:00 |
|
Dmitrii Kovanikov
|
7802849271
|
Exit alt screen before quit
|
2024-02-04 14:45:48 +00:00 |
|
Dmitrii Kovanikov
|
3ea427ead8
|
Better usage of custom pretty library
|
2024-02-04 14:42:37 +00:00 |
|
Dmitrii Kovanikov
|
64e9a9f1f9
|
Add FS tree zipper
|
2024-02-04 14:26:18 +00:00 |
|
Dmitrii Kovanikov
|
9fd83e2cdc
|
Add file selector widget
|
2024-01-29 20:40:25 +00:00 |
|
Dmitrii Kovanikov
|
4c576beffa
|
Add files list view
|
2024-01-29 19:05:08 +00:00 |
|
Dmitrii Kovanikov
|
1a7618a5c5
|
Implement simple pretty-printing library and basic tabs view
|
2024-01-08 19:07:07 +00:00 |
|
Dmitrii Kovanikov
|
538e5bd048
|
Implement colouring of the title
|
2024-01-07 18:08:58 +00:00 |
|
Dmitrii Kovanikov
|
0449be97f1
|
Implement CLI using Cmdliner
|
2024-01-07 14:59:21 +00:00 |
|
Dmitrii Kovanikov
|
06f9cf2b45
|
WIP: Add CLI
|
2024-01-07 12:57:16 +00:00 |
|
Dmitrii Kovanikov
|
e9d760cf39
|
Add first TUI prototype
|
2024-01-07 00:03:54 +00:00 |
|
Dmitrii Kovanikov
|
5d55263bd7
|
Add GitHub GraphQL client
|
2024-01-06 15:23:50 +00:00 |
|