rde.git/src/Rahm/Desktop/Layout, branch pinwindow

Got the pin window layout to work. It works better than the main branch for now except the border color does not change.

2023-12-08T23:13:24+00:00

WIP trying to use pin-window as a layout. Not really working too well

2023-12-07T19:38:10+00:00

Fixed problem with the hole layout where it was not passing on the focused window correctly

2023-12-06T01:06:33+00:00

Still a work-in-progress, but better dragging window.

2023-12-06T00:50:20+00:00

Dragging a window will leave a hole behind until it reaches its final
destination, making it look a little better.

Now I've also implemented drag so that when ending the drag with a
right-click it tiles the window on the screen it's currently on.

It is still pretty jenky and very much a WIP.

Add ability to tile-drag

2023-12-05T20:38:30+00:00

Add export lists to all modules.

2022-11-23T18:53:15+00:00

Remove more unused imports.

2022-11-23T07:38:10+00:00

GHC left some of the unused imports as `import X ()`

Change to use minimal imports.

2022-11-23T07:26:58+00:00

This is achieved by using `stack build --ghc-options=-ddump-minimal-imports`
and looking for the *.imports files.

Remove some layout bloat.

2022-11-23T06:18:52+00:00

Remove a bunch of esentially-unused layouts. Now the layouts are:

  - Spiral
  - Mosaic
  - Tall

Format with ormolu.

2022-11-21T19:05:03+00:00