aboutsummaryrefslogtreecommitdiffstats
path: root/Operations.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* support per-screen gap settings. you can have different gaps on individual ↵Don Stewart2007-05-281-4/+11
| | | | | | screens now darcs-hash:20070528031501-9c5c1-beaadbacb5efc1ce5998aba41fbb3b2c68cdf0d1.gz
* Use (Int,Int,Int,Int) for arbitrary gaps on any side of the screenDon Stewart2007-05-281-4/+7
| | | | darcs-hash:20070528025135-9c5c1-3c0f63ac557da57cd268cd0129b9ce90692631e4.gz
* refactor onlyDon Stewart2007-05-271-10/+5
| | | | darcs-hash:20070527154353-9c5c1-6ef13fd2212f3a18a3050c47d71eb250ec4ec683.gz
* comments on alternative gap movement policiesDon Stewart2007-05-271-0/+3
| | | | darcs-hash:20070527153211-9c5c1-0a36be7dd8b8181597f21e362ac735b343746b79.gz
* when focus is called from an event, better refresh too, since it might have ↵Don Stewart2007-05-271-1/+6
| | | | | | switched workspaces (so gap follows screen focus) darcs-hash:20070527151942-9c5c1-27e63c884e4003fc003b1928ed28412e01a21764.gz
* only set gap on current physical screenDon Stewart2007-05-271-4/+7
| | | | darcs-hash:20070527150805-9c5c1-6774cc60f8f39b8ac16c465d7ab0d2884a984fc1.gz
* revert raiseWindow in focus. Leads to some funny races with pop ups. ↵Don Stewart2007-05-271-1/+1
| | | | | | Harmless with status bar support now darcs-hash:20070527134505-9c5c1-7cf8be20d1976afdd694da946ae72cfb537fa209.gz
* mod-b, toggle on or off the status bar gapDon Stewart2007-05-271-4/+10
| | | | darcs-hash:20070527125928-9c5c1-a16246810db9d4abfe81d0d5814721b64f59a14c.gz
* Add new config value, defaultMenuGap, for specifying a gap for a status barDon Stewart2007-05-271-2/+4
| | | | | | | | | | | By default, it is 0 (set in Config.hs), but set this to a pixel count to get a permanent gap at the top of the screen. You can then at startup launch dzen, and it will run in this gap, and not be obscured by other windows. Perfect for a persistant status bar. darcs-hash:20070527122702-9c5c1-2a3ca82463b3bab21556674936b1bf8a86ba6356.gz
* raiseWindow when settings focus. The focused window should always be raised, ↵Don Stewart2007-05-271-1/+2
| | | | | | I think darcs-hash:20070527094105-9c5c1-8607589fd688646f38b62804c964f24f71f56b5c.gz
* Be a bit more conservative with -O flags, and GC. Hope to avoid runtime GC bugDon Stewart2007-05-271-2/+2
| | | | darcs-hash:20070527074438-9c5c1-af8256d1690de2b48e86f2085106f74954c0738b.gz
* refactor code smell in Operation.hsDon Stewart2007-05-271-31/+36
| | | | darcs-hash:20070527072135-9c5c1-4ae38462432bab057eb5b3ac8a4abb055bd02ec6.gz
* HEADS UP: change key binding for swapLeft/Right and IncMasterDon Stewart2007-05-261-6/+6
| | | | | | | | | | | | | | | | The use of arrow keys for swapLeft/Right clash with firefox's back button. Use the more intuitive mod-shift-jk for this. (It's a movement operation, after all). This clashes with IncMaster, so we use mod+comma and mod+period for these (i.e. the keys mod < and mod > , to move windows to and from the master area). While we're here, replace the use of the terms 'left' and 'right' for navigation, in comments and identifiers, with 'up' and 'down' instead. Hence mod-j darcs-hash:20070526111453-9c5c1-3242145ee5b51eb070a7dc3663f0d6cc01671d5c.gz
* add swapLeft and swapRightbobstopper2007-05-221-4/+6
| | | | darcs-hash:20070522050008-ee4f8-6073519fac239b25e5e265ce3995ee75683fcb81.gz
* WibbleSpencer Janssen2007-05-221-2/+1
| | | | darcs-hash:20070522043844-a5988-964764300d3bae3751718d2ce9c583a2c8e710af.gz
* Add preliminary randr supportSpencer Janssen2007-05-221-0/+20
| | | | darcs-hash:20070522040228-a5988-1ae9fc6bd773b32bc4a4c43aeab556857929fef4.gz
* Remove the magic '2'Spencer Janssen2007-05-221-1/+1
| | | | darcs-hash:20070521234535-a5988-1f7d9a7ac5bc14119c249f640946af8e57917030.gz
* Move special case 'view' code into 'windows'.Spencer Janssen2007-05-211-9/+16
| | | | | | This is ugly right now -- I promise to clean it up later. darcs-hash:20070521215646-a5988-dbd38c5fa2ebaac4022cdc60a3371af249c445f5.gz
* Remove redundant fromIntegralsSpencer Janssen2007-05-211-1/+1
| | | | darcs-hash:20070521165123-a5988-02f5d32547cfd814fa615ae86c93b824e58b3a12.gz
* Make screen info dynamic: first step to supporting randrSpencer Janssen2007-05-211-3/+3
| | | | darcs-hash:20070521152759-a5988-736e7caea5252a77bb01d7631cce0db4287ff6f2.gz
* Move xinerama current/visible/hidden workspace logic into StackSet directly.Don Stewart2007-05-211-10/+12
| | | | darcs-hash:20070521055253-9c5c1-4cc51fadb10609340f798aece25097afeae92dbb.gz
* s/workspace/windowset/Jason Creighton2007-05-211-5/+5
| | | | darcs-hash:20070521040330-b9aa7-5a36f8a4f90cc4116ffa3532a14bf405bfb942bb.gz
* only hide old workspace on view if the old workspace is not visible (Xinerama)Jason Creighton2007-05-211-1/+3
| | | | darcs-hash:20070521031435-b9aa7-2a3825712b36c5ef267c89286006d0ea0073c57d.gz
* Be explicit about suspicious System.Mem importSpencer Janssen2007-05-201-1/+1
| | | | darcs-hash:20070520165741-a5988-a02abd4cb1ad1518a43c203b6b8965563b0e72a8.gz
* HEADS UP: Rewrite StackSet as a ZipperDon Stewart2007-05-201-194/+162
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In order to give a better account of how focus and master interact, and how each operation affects focus, we reimplement the StackSet type as a two level nested 'Zipper'. To quote Oleg: A Zipper is essentially an `updateable' and yet pure functional cursor into a data structure. Zipper is also a delimited continuation reified as a data structure. That is, we use the Zipper as a cursor which encodes the window which is in focus. Thus our data structure tracks focus correctly by construction! We then get simple, obvious semantics for e.g. insert, in terms of how it affects focus/master. Our transient-messes-with-focus bug evaporates. 'swap' becomes trivial. By moving focus directly into the stackset, we can toss some QC properties about focus handling: it is simply impossible now for focus to go wrong. As a benefit, we get a dozen new QC properties for free, governing how master and focus operate. The encoding of focus in the data type also simplifies the focus handling in Operations: several operations affecting focus are now simply wrappers over StackSet. For the full story, please read the StackSet module, and the QC properties. Finally, we save ~40 lines with the simplified logic in Operations.hs For more info, see the blog post on the implementation, http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/17#xmonad_part1b_zipper darcs-hash:20070520070053-9c5c1-241f7ee7793f5db2b9e33d375965cdc21b26cbd7.gz
* variable number of windows in master areaJason Creighton2007-05-161-10/+13
| | | | darcs-hash:20070516031437-b9aa7-03d82cb2565a45fa0e17a34c4c20740b51ff625c.gz
* Use camelCase, please.Spencer Janssen2007-05-161-10/+10
| | | | darcs-hash:20070516014454-a5988-48a5ca0e1ee75c6636a669e28484016eecc0f2fe.gz
* beautify tileDavid Roundy2007-05-151-11/+18
| | | | darcs-hash:20070515154011-72aca-1557c99da679a2be1e52f365f6ae72cfaf40fc87.gz
* put doLayout in the X monad.David Roundy2007-05-121-4/+6
| | | | darcs-hash:20070512215301-72aca-59213ac37c38e57d6ffed1d518afd4729f1744c9.gz
* Make 'index' return Nothing, rather than errorSpencer Janssen2007-05-081-3/+3
| | | | darcs-hash:20070508151200-a5988-3da2bb925de6c610ed9b7a5ab5bccedb3483d032.gz
* Redundant parensSpencer Janssen2007-05-081-1/+1
| | | | darcs-hash:20070508150412-a5988-abf7b3c1e96051cb0cb964f6a94239ac76f83a4e.gz
* since we just ignore type errors, no need to derive ShowDon Stewart2007-05-041-1/+1
| | | | darcs-hash:20070504094143-9c5c1-44d5edcd4b261a2d93b054f48e7818b0c9e58db2.gz
* Constrain layout messages to be members of a Message classDon Stewart2007-05-041-20/+24
| | | | | | | | | | | | | | | | | | Using Typeables as the only constraint on layout messages is a bit scary, as a user can send arbitrary values to layoutMsg, whether they make sense or not: there's basically no type feedback on the values you supply to layoutMsg. Folloing Simon Marlow's dynamically extensible exceptions paper, we use an existential type, and a Message type class, to constrain valid arguments to layoutMsg to be valid members of Message. That is, a user writes some data type for messages their layout algorithm accepts: data MyLayoutEvent darcs-hash:20070504081649-9c5c1-954b406e8c21c2ca4428960e4fc1f9ffb17fb296.gz
* Handle empty layout listsSpencer Janssen2007-05-041-7/+8
| | | | darcs-hash:20070504045644-a5988-68a6d650bacab936f893b96bf866696da3f73436.gz
* refactoring, style, comments on new layout codeDon Stewart2007-05-041-39/+58
| | | | darcs-hash:20070504023618-9c5c1-4b5a4021212b08fedff7f8ec3d8b4234431aada3.gz
* added mirrorLayout to mirror arbitrary layoutsJason Creighton2007-05-041-10/+9
| | | | darcs-hash:20070504014653-b9aa7-1709cb0b718a7a058021c76fb95f9654c43f54b1.gz
* Fix layout switching orderSpencer Janssen2007-05-041-2/+1
| | | | darcs-hash:20070503235632-a5988-98863d7067876591bd9da2b33d062bfe2c5b42fd.gz
* Avoid the unsafe pattern match, in case Config.hs has no layoutsSpencer Janssen2007-05-031-1/+1
| | | | darcs-hash:20070503214007-a5988-f427a9747f76859219abf029c2f550e7dbec258f.gz
* add support for extensible layouts.David Roundy2007-05-031-18/+30
| | | | darcs-hash:20070503144750-72aca-f44bca4573837e12fc1f89333b55e04abd52787c.gz
* comments. and stop tracing events to stderrDon Stewart2007-05-031-4/+9
| | | | darcs-hash:20070503075821-9c5c1-d5bc043872adb9f95c23e0fde87ae11f16108785.gz
* Make border width configurableSpencer Janssen2007-04-301-1/+1
| | | | darcs-hash:20070430163515-a5988-9dea5188c30830fd8b3135f7cb5beffd7b90dcb9.gz
* Add Config.hs-boot, remove defaultLayoutDesc from XConfSpencer Janssen2007-04-301-4/+4
| | | | darcs-hash:20070430162647-a5988-70420c2db283eb1585c96d977e5ac5ca3d0d1532.gz
* Add XConf for values that don't change.Spencer Janssen2007-04-301-9/+11
| | | | darcs-hash:20070430054715-a5988-a74f5e2868f47443a69b0cd821fa690e43a4a7e1.gz
* Control.Arrow is suspicious, add an explicit importSpencer Janssen2007-04-301-1/+1
| | | | darcs-hash:20070430053623-a5988-b7fd0de8376993fdab9ce99bf3c525105b597b33.gz
* configurable border colorsJason Creighton2007-04-301-7/+4
| | | | | | | | This also fixes a bug where xmonad was assuming a 24-bit display, and just using, eg, 0xff0000 as an index into a colormap without querying the X server to determine the proper pixel value for "red". darcs-hash:20070430043859-b9aa7-9467ff583ec95144e5baa088e4b1536a725e7bc6.gz
* force window border to 1pxJason Creighton2007-04-231-0/+1
| | | | darcs-hash:20070423050824-b9aa7-3fc8d9ad35a886852f035f8dabb0abaaee912ede.gz
* use prefixed record names in latest X11-extrasJason Creighton2007-04-191-1/+1
| | | | darcs-hash:20070419032244-b9aa7-b3a4ef75d313d5c960775a75ddc91dbdae6485c7.gz
* WindowSet is better than WorkSpaceSpencer Janssen2007-04-191-1/+1
| | | | darcs-hash:20070419015430-a5988-1abfb64ca77e80031074f4a01f1f4e1a2e5efbac.gz
* Parameterise StackSet by two index types, rather than breaking abstractionDon Stewart2007-04-191-3/+3
| | | | darcs-hash:20070419012705-9c5c1-3aa97e02123af08c3f4500c9e9c3bb7ab4121652.gz
* Promote now swaps focused window with master windowDon Stewart2007-04-191-4/+1
| | | | | | | | | | | | | This means other windows are unaffected. The change from the previous cycling behaviour was felt necessary, since cycling isn't a terribly useful operation. Some properties that hold: focus is unchanged by promotion promote is idempotent (promoting twice does nothing) the focused and master window will swap their positions in the stack darcs-hash:20070418224236-9c5c1-4539f9f397e181f91dc9743e3ffac4b5796c0fac.gz
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 22:57:46 +0000