rde.git - Rahm's Rice'd Desktop Environment

	Commit message (Collapse)	Author	Age
*	Run "rescreen" when restoring a Theater to avoid discrepencies when using xrandr	Josh Rahm	2022-11-28
\|
*	address a couple hlint issues.	Josh Rahm	2022-11-23
\|
*	Add export lists to all modules.	Josh Rahm	2022-11-23
\|
*	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 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 "*").
*	Change term "Theater" -> "Desktop"	Josh Rahm	2022-11-20
\|
*	Add "Theater" concept.	Josh Rahm	2022-11-18
	This is the set of the current set of screens and workspaces. It can be saved and restored. In a sense it works like how most other tiling managers handle "workspaces" where one can change all screens at once. Not that it's a superior system to XMonad (it's not), but it's sometimes helpful.