| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | More XMobar clickable elements. | Josh Rahm | 2024-02-07 |
| | | |||
| * | Fix the XMobar actions to use Super istead of Hyper | Josh Rahm | 2024-01-30 |
| | | |||
| * | 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. | ||
| * | Bunch of changes to XMobar | Josh Rahm | 2022-11-22 |
| | | |||
| * | Better implementation of the pending buffer. Still need to iron out some bugs. | Josh Rahm | 2022-11-22 |
| | | |||
| * | WIP: trying to make the pending buffer better | Josh Rahm | 2022-11-21 |
| | | |||
| * | Rudimentary pending buffer shown in Xmobar. | Josh Rahm | 2022-11-21 |
| | | |||
| * | Merge branch 'v017' of josher.dev:rde into v017 | Josh Rahm | 2022-11-21 |
| |\ | |||
| | * | Update to xmobar | Josh Rahm | 2022-11-21 |
| | | | |||
| | * | Enable LambdaCase | Josh Rahm | 2022-11-21 |
| | | | |||
| | * | Format with ormolu. | Josh Rahm | 2022-11-21 |
| | | | |||
| * | | Add clickable Theaters to xmobar. | Josh Rahm | 2022-11-21 |
| |/ | |||
| * | Add better theater reporting to xmobar | Josh Rahm | 2022-11-20 |
| | | |||
| * | Add "Theaters" to RDE. | Josh Rahm | 2022-11-20 |
| | | | | | | | | | | | A "Theater" is basically the state of the "StackSet". This means that jumping to a Theater will reset all the windows to where they were when the user last left that theater, or an empty theater if there is not. New windows that a theater does not know about are put in the "hidden" workspace (which is "*"). | ||
| * | Add R.D.StackSet as a replacement for StackSet. | Josh Rahm | 2022-10-09 |
| | | |||
| * | Run hlint | Josh Rahm | 2022-10-09 |
| | | |||
| * | Some new styling and better logging capabilites | Josh Rahm | 2022-10-09 |
| | | |||
| * | Some changes to XMobar look and feel | Josh Rahm | 2022-10-09 |
| | | |||
| * | Remove the "│" from xmobar. I think it makes it cleaner, but it is not a ↵ | Josh Rahm | 2022-10-09 |
| | | | | | slam dunk. | ||
| * | fix some hlint warnings | Josh Rahm | 2022-10-09 |
| | | |||
| * | [WIP] Working on better workspaces | Josh Rahm | 2022-10-09 |
| | | |||
| * | Move LayoutDraw -> Layout.Draw | Josh Rahm | 2022-10-09 |
| | | |||
| * | Add right click to move current window to a workspace. | Josh Rahm | 2022-10-09 |
| | | |||
| * | Add clickable workspaces to XMobar. | Josh Rahm | 2022-10-09 |
| | | | | | | | | | | | | | This is using xdotool to send a keystroke, which is not the best way to do this. In fact, a proper server protocol would be better, but this is how it is at the momement unfortunately. There is a problem where trying to use xdotool to send a key for a multibyte character will cause all events to freeze on XMonad for some reason, so these actions are guarded so only 'a-zA-Z0-9' are clickable and the rest are not, which is /okay/, I don't use unicode workspaces that often. | ||
| * | 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 |