index
:
rde.git
doc
experimental_mouse_mask
experimental_only_bind_necessary
main
master
pinwindow
v017
wip_mapping_keycodes
Rahm's Rice'd Desktop Environment
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Rahm
/
Desktop
/
Keys.hs
Commit message (
Expand
)
Author
Age
...
|
*
Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features ...
Josh Rahm
2022-04-18
|
*
Extend marking language to the mark command itself
Josh Rahm
2022-04-18
|
*
Add basic language for moving windows around
Josh Rahm
2022-04-18
|
*
Starting to implement window management language
Josh Rahm
2022-04-17
|
*
Merge branch 'v017' of josher.dev:rde into v017
Josh Rahm
2022-04-16
|
|
\
|
|
*
fix some hlint warnings
Josh Rahm
2022-04-16
|
|
*
Make history much, much more reliable.
Josh Rahm
2022-04-15
|
*
|
Switch Ctrl-i and Ctrl-d for chrome bindings
Josh Rahm
2022-04-16
|
|
/
|
*
Some changes to marking
Josh Rahm
2022-04-14
|
*
Rename KeysM -> Keys/Dsl
Josh Rahm
2022-04-14
|
*
Minor changes
Josh Rahm
2022-04-14
|
*
Make workspaces more consistent
Josh Rahm
2022-04-14
|
*
[WIP] Working on better workspaces
Josh Rahm
2022-04-13
|
*
Add ConsistentMosaic, a wrapper to make Mosaic more consistent.
Josh Rahm
2022-04-13
|
*
Fix repeatable key to do an action when first pressed.
Josh Rahm
2022-04-12
|
*
Add type-static way to get the length of a LayoutList
Josh Rahm
2022-04-12
|
*
Clean up LayoutList and move to Layout.List
Josh Rahm
2022-04-12
|
*
noMod -> (noMod -|- justMod)
Josh Rahm
2022-04-12
|
*
Change keys to make H+Space a leader key for doing layout related stuff. Not ...
Josh Rahm
2022-04-12
|
*
Clean up Poppable so it's a proper proxy to the underlying layout rather than...
Josh Rahm
2022-04-12
|
*
Add another layout modifier to add a hole.
Josh Rahm
2022-04-12
|
*
Move Rahm.Desktop.Layout.Layout to Rahm.Desktop.Layout
Josh Rahm
2022-04-12
|
*
Break out the ModifyDescription into its own file.
Josh Rahm
2022-04-12
|
*
Break the Flippable modifiers into their own file.
Josh Rahm
2022-04-12
|
*
Rename Zoom to Pop and move into its own Module.
Josh Rahm
2022-04-11
|
*
More refactoring. Started breaking up Layout. Moved Language extensions into ...
Josh Rahm
2022-04-10
|
*
Rename Internal to Rahm.Desktop
Josh Rahm
2022-04-10
*
Change up the override keys for browsers
Josh Rahm
2022-10-09
*
Change WML workspaces to have a Maybe name.
Josh Rahm
2022-10-09
*
Add Bordering layout.
Josh Rahm
2022-10-09
*
Add M-S-s to swap windows with eachother
Josh Rahm
2022-10-09
*
Roll Windows.hs into R.D.StackSet
Josh Rahm
2022-10-09
*
Roll ScreenRotate into 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
*
Some new styling and better logging capabilites
Josh Rahm
2022-10-09
*
Infrastructure for better logging, finally!
Josh Rahm
2022-10-09
*
Add macro support to WML.
Josh Rahm
2022-10-09
*
Highlight windows for marking too
Josh Rahm
2022-10-09
*
Change window border when selecting windows
Josh Rahm
2022-10-09
*
Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features ...
Josh Rahm
2022-10-09
*
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
*
Switch Ctrl-i and Ctrl-d for chrome bindings
Josh Rahm
2022-10-09
*
Some changes to marking
Josh Rahm
2022-10-09
*
Rename KeysM -> Keys/Dsl
Josh Rahm
2022-10-09
*
Minor changes
Josh Rahm
2022-10-09
[prev]
[next]