| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Remove more unused imports. | Josh Rahm | 2022-11-23 |
| | | | | | GHC left some of the unused imports as `import X ()` | ||
| * | Change to use minimal imports. | Josh Rahm | 2022-11-23 |
| | | | | | | This is achieved by using `stack build --ghc-options=-ddump-minimal-imports` and looking for the *.imports files. | ||
| * | Format with ormolu. | Josh Rahm | 2022-11-21 |
| | | |||
| * | Add new conditional description for workspaces. | Josh Rahm | 2022-10-09 |
| | | | | | | | | | | | | | | | | | | This adds the "<" condition, it used as "in" i.e. "<l₀l₁w₀w₁" reads as "if l₀ is a subset of l₁, then w₀ else w₁" Useful for macro programming like, if Spotify is on the current workspace, then go back to where I came from, otherwise jump to Spotify. This can be achieved with the following (assuming Spotify is marked with "s"): "<H-g><s@.'@s" "if spotify (s) is in the set of the windows on the current screen (@.), jump back to where I came from (workspace '), otherwise goto the workspace spotify is on (@s)." | ||
| * | Roll Windows.hs into R.D.StackSet | Josh Rahm | 2022-10-09 |
| | | |||
| * | Add R.D.StackSet as a replacement for StackSet. | Josh Rahm | 2022-10-09 |
| | | |||
| * | Run hlint | Josh Rahm | 2022-10-09 |
| | | |||
| * | Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features ↵ | Josh Rahm | 2022-10-09 |
| | | | | | to it. | ||
| * | Extend marking language to the mark command itself | Josh Rahm | 2022-10-09 |
| | | |||
| * | Add basic language for moving windows around | Josh Rahm | 2022-10-09 |
| | | |||
| * | Starting to implement window management language | Josh Rahm | 2022-10-09 |
| | | |||
| * | fix some hlint warnings | Josh Rahm | 2022-10-09 |
| | | |||
| * | Make history much, much more reliable. | Josh Rahm | 2022-10-09 |
| | | | | | | | This time history is being done using a hook to keep track of history. This means I don't have to manually call pushHistory every time I focus a new window. | ||
| * | Some changes to marking | Josh Rahm | 2022-10-09 |
| | | |||
| * | [WIP] Working on better workspaces | Josh Rahm | 2022-10-09 |
| | | |||
| * | More refactoring. Started breaking up Layout. Moved Language extensions into ↵ | Josh Rahm | 2022-10-09 |
| | | | | | stack file. | ||
| * | Rename Internal to Rahm.Desktop | Josh Rahm | 2022-10-09 |
 |
index : rde.git | |
| Rahm's Rice'd Desktop Environment |
| aboutsummaryrefslogtreecommitdiff |