|
|
cae0b581a2
|
Buffer owns the file buffer
|
2016-07-14 20:09:35 -04:00 |
|
|
|
5f8bbcfca4
|
start a Timer when it is created
|
2016-07-14 19:27:39 -04:00 |
|
|
|
e562f77dab
|
replace FileReader with File class; prepare for removing FileLoader
|
2016-07-14 18:44:18 -04:00 |
|
|
|
5a8894498b
|
add System::free_pages()
|
2016-07-14 18:42:26 -04:00 |
|
|
|
ef6abd8ed7
|
Add other useful page-size-related fields to System module
|
2016-07-14 17:51:53 -04:00 |
|
|
|
48e82a11a3
|
add initial System module
|
2016-07-13 21:41:30 -04:00 |
|
|
|
dd7a5de619
|
add Timer
|
2016-07-10 20:42:38 -04:00 |
|
|
|
b1684f1341
|
scroll through file with J/K keys
|
2016-07-10 20:13:40 -04:00 |
|
|
|
5da9cde758
|
Buffer: hold on to the FileLoader for now so the memory is not released
|
2016-07-10 17:23:30 -04:00 |
|
|
|
a08bc144e2
|
Add initial Runtime module
|
2016-07-06 23:09:53 -04:00 |
|
|
|
ff51d17344
|
add Path::listdir()
|
2016-07-06 22:41:43 -04:00 |
|
|
|
725a0f22a1
|
allow Path::join() to take an arbitrary number of arguments
|
2016-07-06 22:41:42 -04:00 |
|
|
|
2012591b27
|
add Path::is_file() and Path::is_dir()
|
2016-07-06 19:40:35 -04:00 |
|
|
|
1f9a981e6a
|
add initial Path class
|
2016-07-06 19:21:35 -04:00 |
|
|
|
b58c344604
|
rename FileReader::load() -> FileReader::read()
|
2016-07-05 19:10:32 -04:00 |
|
|
|
6d6988c027
|
expose line iteration in Buffer API
|
2016-06-29 22:03:40 -04:00 |
|
|
|
fdcba81a3d
|
most rudimentary Buffer class imaginable
|
2016-06-29 20:54:08 -04:00 |
|
|
|
1636ee1728
|
add FileLoader::get_line()
|
2016-06-29 20:18:33 -04:00 |
|
|
|
9adcd93fd3
|
get a temporary Text class in place
|
2016-06-29 20:05:59 -04:00 |
|
|
|
e16e81375b
|
move some sources to src/core
|
2016-06-20 22:03:43 -04:00 |
|
