FlexibleResize not flexible enough

Hi, I was trying to use FlexibleResize so that I divide the window in 3×3 parts, where the middle part only moves, the edge parts only resize in that direction and the corner parts resize both directions. At first I thought I could hack that up if I modify the functions from (Double -> Double) to (Pnt -> Pnt), where Pnt=(Double,Double) as used in the module, and I was in the middle of preparing the patch when I noticed that this does not work either, as I can not specify "ignore this direction" (as needed for the edge cases). I can try to experiment with a function of type ((Double, Double) -> (Maybe Double, Maybe Double)) to enable the user to specify this and everything supported before, but it looks a bit too complicated for what this user-exposed API was meant for. Comments? Greetings, Joachim -- Joachim Breitner e-Mail: mail@joachim-breitner.de Homepage: http://www.joachim-breitner.de ICQ#: 74513189 Jabber-ID: nomeata@joachim-breitner.de
participants (1)
-
Joachim Breitner