rde.git/src/Internal/Layout.hs, branch main Rahm's Rice'd Desktop Environment Rename Internal to Rahm.Desktop 2022-10-09T18:19:46+00:00 Josh Rahm joshuarahm@gmail.com 2022-04-10T19:26:16+00:00 a652c330707e2e9bbe963e01af79ce730cf3452e 






Minor changes
2022-10-09T18:19:46+00:00

Josh Rahm
joshuarahm@gmail.com

2022-04-10T18:14:22+00:00

381a3e5a00813314249bb74b5460f5ff5a4006bb












Rename LayoutZipper to LayoutList. Add more utils for handling a selector
2022-10-09T18:19:46+00:00

Josh Rahm
joshuarahm@gmail.com

2022-04-10T04:39:30+00:00

a5ccde6ea6f011bca983e992d7537f1ff002d1ec












[Experimental] - Attempting to create typesafy way to navigate layouts.
2022-10-09T18:19:46+00:00

Josh Rahm
joshuarahm@gmail.com

2022-04-09T21:51:30+00:00

dc30567f5753cf6231ddc5adaafcf5986e8c840b












Change mosaic to respond to multiple different kinds of messages
2022-10-09T18:19:46+00:00

Josh Rahm
rahm@google.com

2022-04-09T21:09:55+00:00

3f6b3dd99cd45fdd063580fa1deb03257c65e83e












More generic navigation and documentation.
2022-10-09T18:19:46+00:00

Josh Rahm
rahm@google.com

2022-04-08T21:07:58+00:00

c796e7533cd8da13f42961966313c926810f6468












Change the layout modifiers to work on individual layouts.
2022-10-09T18:19:46+00:00

Josh Rahm
rahm@google.com

2022-04-08T20:46:07+00:00

b1d96c528a723790fb225d4b9be4422fc90cbcea

So, when doing something like a "zoom", it will only affect the current
layout. Before a "zoom" would be persistent across all layouts, now it
will only occur on the current layout.

I'm still trying to decide if I like it this way or not. It looks like
it'll have minimal impact on things. I don't use different layouts that
often anyway.





So, when doing something like a "zoom", it will only affect the current
layout. Before a "zoom" would be persistent across all layouts, now it
will only occur on the current layout.

I'm still trying to decide if I like it this way or not. It looks like
it'll have minimal impact on things. I don't use different layouts that
often anyway.







Cleanup and more documentation.
2022-10-09T18:19:46+00:00

Josh Rahm
rahm@google.com

2022-04-08T20:41:34+00:00

401b293fe6a726d24cf944e626c301262d726aad












Remove trailing whitespace
2022-10-09T18:19:45+00:00

Josh Rahm
rahm@google.com

2022-03-29T18:32:25+00:00

03906bb7a0183c5bc89c30ec3d31d47d06f5fc4f












Fix fullscreen issues.
2022-10-09T18:19:45+00:00

Josh Rahm
rahm@google.com

2022-01-07T21:59:52+00:00

d0a4d69151301cb24a7a70340243da8e5bb96c1d