Michael Thomas michael
0 Followers · 0 Following
  • Joined on 2021-01-11
Repositories
6
 Projects Packages Public Activity Starred Repositories
michael pushed to main at michael/nix-dots 2023-05-20 20:40:44 -04:00
8134874854 fix versions and things
michael pushed to main at michael/nix-dots 2023-05-07 14:13:33 -04:00
fe031b4c55 add rust packages to developer config
michael pushed to main at michael/nix-dots 2023-04-29 14:57:34 -04:00
ad9e27d965 update dependencies to their latest versions
4d8628a452 add devbox to development packages
Compare 2 commits »
michael pushed to main at michael/furman_now 2023-03-23 12:39:01 -04:00
662a1ae157 display a maximum of three upcoming events on the home page
michael pushed to main at michael/furman_now 2023-03-23 12:24:19 -04:00
cb9ccc1865 add description to pubspec.yaml
be50f8b293 fix home page state provider
Compare 2 commits »
michael pushed to main at michael/furman_now 2023-03-22 08:29:21 -04:00
279532ba7c fmt: fix main layout formatting
michael pushed to main at michael/furman_now 2023-03-22 07:51:52 -04:00
c463f02a77 fix: increase tap target sizes to be more reasonable
michael pushed to main at michael/furman_now 2023-03-12 12:07:34 -04:00
3ad68594e2 fix: improve homepage scrolling behavior and clean up logic
michael pushed to main at michael/nix-dots 2023-03-06 15:39:14 -05:00
867d0740e2 update firefox config to automatically apply gnome theme
michael pushed to main at michael/nix-dots 2023-03-06 15:05:22 -05:00
7403f5b846 fix: correct nix configuration
michael pushed to main at michael/nix-dots 2023-03-06 14:32:03 -05:00
6db241e7cb Merge branch 'main' of https://git.thomasfamily.duckdns.org/michael/nix-dots
8b97298b16 update kitchen configuration
Compare 2 commits »
michael pushed to main at michael/furman_now 2023-02-28 10:29:17 -05:00
0038efc13c fix: update ios and android manifests, pubspec
michael pushed to main at michael/nix-dots 2023-02-27 15:13:17 -05:00
93a8ecc35e fix: use latest spicetify version
michael pushed to main at michael/furman_now 2023-02-09 20:03:32 -05:00
2052e618ac fix: various improvements to events list
michael pushed to main at michael/furman_now 2023-02-09 20:02:25 -05:00
d0d881fbbe fix: improve scroll handling on home page to avoid unintentional scroll event detection
michael pushed to main at michael/furman_now 2023-02-09 20:00:44 -05:00
aed14e8159 fix: improve scroll handling on home page to avoid unintentional scroll event detection
michael pushed to main at michael/nix-dots 2023-02-09 12:25:54 -05:00
ccaa44abc6 various mac configuration updates
michael pushed to main at michael/furman_now 2022-11-18 15:57:06 -05:00
67efdc0289 wip: info page and GET app login / settings
michael pushed to main at michael/furman_now 2022-09-13 17:34:44 -04:00
4a698e61d2 fix: don't allow home page content to slide down if its height is less than the screen height
michael pushed to main at michael/furman_now 2022-09-13 13:02:39 -04:00
732cc7cc95 Null safety for event titles