Simon Gardling
dae135cd38
update egui
2022-05-19 10:20:40 -04:00
Simon Gardling
40bb2dcebb
update
2022-05-19 01:14:34 -04:00
Simon Gardling
f67869bb7b
add clamp for integral_num
2022-05-19 00:06:06 -04:00
Simon Gardling
c88f465401
move comment
2022-05-18 23:57:59 -04:00
Simon Gardling
df89fe10d7
use mem::transmute for hashed_storage
2022-05-18 23:52:45 -04:00
Simon Gardling
4a8bd74d84
improve integral options
2022-05-18 22:56:41 -04:00
Simon Gardling
a013207890
improve welcome window
2022-05-18 22:48:19 -04:00
Simon Gardling
7e4affcf4f
update Cargo.lock
2022-05-18 22:37:37 -04:00
Simon Gardling
3191915b54
ui changes
2022-05-18 20:12:37 -04:00
Simon Gardling
99f134a52d
changes
2022-05-18 19:27:11 -04:00
Simon Gardling
8ed749ef72
user interface improvements
2022-05-18 18:52:31 -04:00
Simon Gardling
782d567302
fix newtons_method handling of non-finite derivatives
2022-05-18 15:01:33 -04:00
Simon Gardling
d665b72a4c
improve newtons_method test
2022-05-18 14:57:34 -04:00
Simon Gardling
e7e82a72b2
fix build and add test for newtons_method
2022-05-18 14:52:03 -04:00
Simon Gardling
db68d5e23a
update egui
2022-05-18 14:35:58 -04:00
Simon Gardling
c753621cf8
add to_values
2022-05-18 14:31:51 -04:00
Simon Gardling
001a21f250
inline
2022-05-18 14:24:21 -04:00
Simon Gardling
5ef45c1b2b
make EguiHelper traits use owned self
2022-05-18 14:23:54 -04:00
Simon Gardling
3ef1feedb1
add tests for EguiHelper trait
2022-05-18 13:53:01 -04:00
Simon Gardling
6258b0ac16
adjust storing and processing of area info
2022-05-18 11:51:56 -04:00
Simon Gardling
45c7fb47b7
store formatted time
2022-05-18 11:46:55 -04:00
Simon Gardling
80b2c2c12d
duplicate option in build.sh
2022-05-18 11:40:17 -04:00
Simon Gardling
15b45db788
update egui
2022-05-18 11:31:39 -04:00
Simon Gardling
8ed9fd009c
explicitly call Label::new
2022-05-18 09:16:57 -04:00
Simon Gardling
ce051b4026
add time to cargo build
2022-05-18 09:05:04 -04:00
Simon Gardling
af9a57f6f0
should be None here instead of _
2022-05-18 09:03:52 -04:00
Simon Gardling
3972be9f97
remove licensing info
2022-05-18 08:56:59 -04:00
Simon Gardling
828e59ae71
sort autocomplete hashmap
2022-05-18 08:49:42 -04:00
Simon Gardling
624d50caaf
remove unnecessary feature
2022-05-18 08:31:52 -04:00
Simon Gardling
8e4245d50e
that looked bad
2022-05-18 01:47:49 -04:00
Simon Gardling
8aa31a1483
tweak sizes
2022-05-18 01:44:31 -04:00
Simon Gardling
c957eb45e6
serialize RichText instead
2022-05-18 01:28:16 -04:00
Simon Gardling
d5eb99b3e7
fix wasm build
2022-05-18 00:17:55 -04:00
Simon Gardling
3e8a2e6136
update TODO.md
2022-05-17 20:39:52 -04:00
Simon Gardling
e88e5d96b7
update Cargo.lock
2022-05-17 20:38:55 -04:00
Simon Gardling
8b4294ec3b
update TODO.md (no longer a priority)
2022-05-17 19:57:37 -04:00
Simon Gardling
a304d545f6
fat lto for release builds
2022-05-17 19:56:25 -04:00
Simon Gardling
43c4450903
edit Cargo.toml
2022-05-17 19:53:56 -04:00
Simon Gardling
a382cae914
edit message
2022-05-17 18:02:03 -04:00
Simon Gardling
f9657aaebb
improve text
2022-05-17 17:50:04 -04:00
Simon Gardling
219bf54cdd
improve font stripping
2022-05-17 17:37:02 -04:00
Simon Gardling
4aa078d9a9
update github workflow
2022-05-17 17:22:52 -04:00
Simon Gardling
542fd9caba
selective font inclusion for emojis
...
Selectively include fonts for emojis that are used in the interface. This is done instead of including both the entirety of `NotoEmoji-Regular` and `emoji-icon-font`. This now requires the `pyftsubset` utility to be installed (under arch, this can be done with the package `python-fonttools`)
TODO: need to fix github workflows
2022-05-17 15:51:04 -04:00
Simon Gardling
94041774c6
disable 'Hack' font
2022-05-17 12:50:14 -04:00
Simon Gardling
7782563915
remove unnecessary text
2022-05-17 10:49:32 -04:00
Simon Gardling
4a3dba109d
improve loading logic
2022-05-17 10:38:19 -04:00
Simon Gardling
1e9342a949
improve hashed_storage_read
2022-05-17 10:26:06 -04:00
Simon Gardling
4227437475
hm
2022-05-17 10:15:45 -04:00
Simon Gardling
149adfd614
add test for invalid_hashed_storage
2022-05-17 09:05:36 -04:00
Simon Gardling
f6ca98a1f2
add tests for non-existent hints
2022-05-17 09:05:32 -04:00
