diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-11-20 17:11:34 -0700 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-11-20 17:11:34 -0700 |
| commit | d3d67d059d2b56ceac63cebaa34802f2fb5a5019 (patch) | |
| tree | e11ec28eb13d5682dd56f84de05bac8960bb4c06 /src/Main.hs | |
| parent | 27dac9cb0fad229c88144b432a957f1cbd067b98 (diff) | |
| download | rde-d3d67d059d2b56ceac63cebaa34802f2fb5a5019.tar.gz rde-d3d67d059d2b56ceac63cebaa34802f2fb5a5019.tar.bz2 rde-d3d67d059d2b56ceac63cebaa34802f2fb5a5019.zip | |
Add "Theaters" to RDE.
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 "*").
Diffstat (limited to 'src/Main.hs')
0 files changed, 0 insertions, 0 deletions