John Whitington
|
27d13d9e3b
|
more
|
2021-12-21 15:33:56 +00:00 |
|
John Whitington
|
9bdeccb343
|
more
|
2021-12-21 15:25:59 +00:00 |
|
John Whitington
|
c711e3aa77
|
more
|
2021-12-21 15:06:40 +00:00 |
|
John Whitington
|
4c886d2b13
|
more
|
2021-12-21 14:57:42 +00:00 |
|
John Whitington
|
6297181775
|
more
|
2021-12-21 14:00:58 +00:00 |
|
John Whitington
|
c6d606136b
|
more
|
2021-12-21 13:44:46 +00:00 |
|
John Whitington
|
a9bfd16142
|
more
|
2021-12-21 11:12:52 +00:00 |
|
John Whitington
|
6616516f77
|
more
|
2021-12-20 09:02:39 +00:00 |
|
John Whitington
|
c822e100db
|
more
|
2021-12-19 13:38:27 +00:00 |
|
John Whitington
|
0e9f35ab69
|
more
|
2021-12-19 13:26:15 +00:00 |
|
John Whitington
|
37f900042e
|
more
|
2021-12-19 12:55:06 +00:00 |
|
John Whitington
|
8726d3dee0
|
more
|
2021-12-18 16:26:33 +00:00 |
|
John Whitington
|
1048bdf1df
|
more
|
2021-12-18 16:14:31 +00:00 |
|
John Whitington
|
e36552bffd
|
more
|
2021-12-18 15:47:06 +00:00 |
|
John Whitington
|
265b4c71d0
|
more
|
2021-12-17 16:12:03 +00:00 |
|
John Whitington
|
e3480f16d9
|
/QuadPoints
|
2021-12-15 08:53:34 +00:00 |
|
John Whitington
|
bb5fae55d2
|
more
|
2021-12-02 12:04:14 -08:00 |
|
John Whitington
|
48a3ba7462
|
more
|
2021-11-24 17:44:23 -08:00 |
|
John Whitington
|
5fcc685d6c
|
Fix -scale-contents position bug
|
2021-11-22 12:20:48 -08:00 |
|
John Whitington
|
0b5f46044e
|
more
|
2021-11-15 11:17:15 -08:00 |
|
John Whitington
|
b908e5f57d
|
more
|
2021-11-15 09:30:11 -08:00 |
|
John Whitington
|
4e12e01848
|
More splitting up of source files
|
2021-11-12 14:50:31 -08:00 |
|
John Whitington
|
2585ed4d70
|
more
|
2021-11-12 13:59:24 -08:00 |
|
John Whitington
|
87c82dbbf0
|
more
|
2021-11-11 15:05:07 -08:00 |
|
John Whitington
|
c6df45109e
|
Added range to -list-fonts
|
2021-11-03 16:51:28 +00:00 |
|
John Whitington
|
7c4fbf589d
|
-add-text with real font name done
|
2021-11-03 13:40:54 +00:00 |
|
John Whitington
|
cd68d4852d
|
raw mode for charcodes
|
2021-11-03 12:15:15 +00:00 |
|
John Whitington
|
2c6c357bdc
|
more
|
2021-11-02 16:10:30 +00:00 |
|
John Whitington
|
dfee9e4619
|
more
|
2021-11-02 13:56:45 +00:00 |
|
John Whitington
|
d9cd969a2f
|
Thread encoding through to charcode_of_utf8
|
2021-11-02 12:55:51 +00:00 |
|
John Whitington
|
34b60f69fa
|
more
|
2021-11-01 17:09:58 +00:00 |
|
John Whitington
|
3142ae5251
|
more
|
2021-10-29 15:09:21 +01:00 |
|
John Whitington
|
3cb9e52ae3
|
Fixed proper recursion for remove_dict_entry
|
2021-10-28 18:44:01 +01:00 |
|
John Whitington
|
6a52728e9d
|
beginning -replace-dict-entry
|
2021-10-28 17:06:46 +01:00 |
|
John Whitington
|
3ed74079c8
|
more
|
2021-10-28 15:34:03 +01:00 |
|
John Whitington
|
e918630ea4
|
beginning JSON annotations
|
2021-10-27 18:55:52 +01:00 |
|
John Whitington
|
c192d3fa0f
|
+utf8
|
2021-10-27 15:29:25 +01:00 |
|
John Whitington
|
169dff86b4
|
json add bookmarks done
|
2021-10-27 13:16:55 +01:00 |
|
John Whitington
|
e3abffb21c
|
Beginning -add-bookmarks-json
|
2021-10-27 11:44:30 +01:00 |
|
John Whitington
|
5708d25255
|
Added -list-bookmarks-json
|
2021-10-26 19:41:14 +01:00 |
|
John Whitington
|
3fcd64332e
|
more
|
2021-10-26 17:00:14 +01:00 |
|
John Whitington
|
d7e9a79e73
|
more
|
2021-10-26 16:39:26 +01:00 |
|
John Whitington
|
609943e78c
|
more
|
2021-10-26 16:18:09 +01:00 |
|
John Whitington
|
312e07eaf1
|
more
|
2021-10-26 15:36:56 +01:00 |
|
John Whitington
|
ee1f712ad2
|
linewidth
|
2021-10-26 15:09:07 +01:00 |
|
John Whitington
|
a840c9b2c1
|
more
|
2021-10-25 18:48:28 +01:00 |
|
John Whitington
|
5ab1d6c7d5
|
more
|
2021-10-25 18:27:40 +01:00 |
|
John Whitington
|
82e8fc02b0
|
more
|
2021-10-25 16:27:18 +01:00 |
|
John Whitington
|
b93b230fa4
|
more
|
2021-10-25 16:26:30 +01:00 |
|
John Whitington
|
e27eb54cfd
|
more
|
2021-10-25 15:35:35 +01:00 |