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 |
|
John Whitington
|
9c19743e27
|
more
|
2021-10-25 14:45:55 +01:00 |
|
John Whitington
|
51533b2652
|
more
|
2021-10-25 14:23:21 +01:00 |
|
John Whitington
|
6f462f2141
|
more
|
2021-10-25 14:07:05 +01:00 |
|
John Whitington
|
fe495c77be
|
more
|
2021-10-21 18:36:23 +01:00 |
|
John Whitington
|
b3080fa10a
|
more
|
2021-10-21 18:10:47 +01:00 |
|
John Whitington
|
e0ac35ad7d
|
more
|
2021-10-21 13:51:14 +01:00 |
|
John Whitington
|
a2d52196f6
|
fit working
|
2021-10-20 18:51:53 +01:00 |
|
John Whitington
|
55d18edf37
|
more
|
2021-10-20 16:46:31 +01:00 |
|
John Whitington
|
e585de69f6
|
more
|
2021-10-20 14:00:33 +01:00 |
|
John Whitington
|
84453105ba
|
more
|
2021-10-19 19:26:02 +01:00 |
|
John Whitington
|
e1b1950d3b
|
more
|
2021-10-19 18:43:12 +01:00 |
|
John Whitington
|
dba0c51094
|
more
|
2021-10-19 17:55:03 +01:00 |
|
John Whitington
|
6d766f7b82
|
more
|
2021-10-19 16:56:39 +01:00 |