freenode/#clim - IRC Chatlog
Search
13:41:00
scymtym
i would be glad to get rid of that stuff (after verifying that it is indeed not needed). preferably before merging the event changes
13:42:58
jackdaniel
would you mind if I sneak there a few other small commits I have cleanly commited locally? (text-style-character-width change I've mentioned, removal of draw-glyph protocol and removal of invalid comment)
13:52:09
jackdaniel
if you object having unrelated things in the pr please let me know and I'll make another one and close this one (it will grow because I'm working with basic-medium)
15:42:01
scymtym
ungrab leave events are like returns from abandoned exit points - headache inducing
20:34:15
scymtym
it requires extending the event masks of border-panes menu-button-panes, but we basically decided to do that already
21:24:32
jackdaniel
scymtym: do you want me to remove also menu button pane specialization in the pr?
23:37:50
jackdaniel
scymtym: how about clim-stream-pane? I'd want to remove it for consistency and because (IMO) ports should not know about panes (frame managers could)