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
Simon Gardling
d2095fb533
optimize autocomplete a bit
2022-05-17 08:53:30 -04:00
Simon Gardling
f775f64357
change get_nth_derivative_str
2022-05-17 08:46:58 -04:00
Simon Gardling
86f73a4af8
update wasm-opt flags
2022-05-17 08:45:11 -04:00
Simon Gardling
9aef3b3432
Cargo.lock
2022-05-17 07:56:29 -04:00
Simon Gardling
40424719cb
fixup and remove egui legend
2022-05-17 01:15:44 -04:00
Simon Gardling
8cca3b03dc
update Cargo.lock
2022-05-16 19:52:02 -04:00
Simon Gardling
23a2d8f8fc
rename some stuff
2022-05-16 17:44:43 -04:00
Simon Gardling
5cf736cf78
hmm
2022-05-16 17:40:25 -04:00
Simon Gardling
6d06c25fac
further refactoring
2022-05-16 17:20:08 -04:00
Simon Gardling
62944783ca
some refactoring
2022-05-16 16:58:30 -04:00
Simon Gardling
490e4bffbd
cleanup
2022-05-16 14:52:06 -04:00
Simon Gardling
50ef1d17f9
don't use dyn_iter for newtons_method_helper
2022-05-16 13:35:02 -04:00
Simon Gardling
c7e8865d7e
add Hint accessors
2022-05-16 13:28:23 -04:00
Simon Gardling
491c8eb6fb
clippy
2022-05-16 11:54:14 -04:00
Simon Gardling
784ebb3566
implement default for Riemann
2022-05-16 11:53:55 -04:00
Simon Gardling
e42369b6d5
update Cargo.lock
2022-05-16 11:50:19 -04:00
