<plumeus>
Type-Driven Development with Idris is my 2nd favourite book. Also good for "de-programming" one's brain, I take it.
cabal704 has joined #river
jeanjack has joined #river
Ristovski has quit [Remote host closed the connection]
Ristovski has joined #river
Nulo has quit [Read error: Connection reset by peer]
Nulo has joined #river
silv3r has joined #river
silv3r has quit [Ping timeout: 250 seconds]
silv3r has joined #river
cabal704 has quit [Ping timeout: 264 seconds]
cabal704 has joined #river
jeanjack has quit [Ping timeout: 250 seconds]
jeanjack has joined #river
snakedye has quit [Ping timeout: 264 seconds]
snakedye has joined #river
ayushnix has quit [Ping timeout: 252 seconds]
elshize has joined #river
jeanjack has quit [Ping timeout: 250 seconds]
jeanjack_ has joined #river
cabal704 has quit [Quit: WeeChat 3.5]
jeanjack_ has quit [Ping timeout: 264 seconds]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 265 seconds]
eShaev9z_ has quit [Ping timeout: 244 seconds]
eShaev9z has joined #river
elshize has quit [Remote host closed the connection]
jeanjack has joined #river
waleee has quit [Ping timeout: 250 seconds]
silv3r has quit [K-Lined]
snakedye has quit [Ping timeout: 244 seconds]
snakedye has joined #river
jao has quit [Ping timeout: 260 seconds]
Ordoviz has joined #river
snakedye has quit [Ping timeout: 244 seconds]
jeanjack has quit [Ping timeout: 252 seconds]
jeanjack has joined #river
kitty4 has quit [Ping timeout: 255 seconds]
kitty4 has joined #river
Guest54321 has joined #river
<Guest54321>
Hi there, I have a problem with the tags. I sometimes want a window on several tags, or all of them as a "sticky" window. But then I rarely want to focus it, I just want to see it. For example as a chat window and only focus it to reply to messages.
<Guest54321>
But when I do that every time I focus different tags the "sticky" window gets focus instead of whatever I was actually doing on that tag.
<Guest54321>
How do I change it so switching tags will only focus windows I previously intentionally focused instead of the window shared by both tags?
<Guest54321>
It is pretty annoying to have to switch away from the "sticky" window every time I change tags.
<Guest54321>
"Scratchpad" is not really what I want, but you probably mean the "sticky" feature created on the same page. It is good, but it has the same issue.
<Guest54321>
... as i described above.
waleee has joined #river
wrl has quit [Ping timeout: 240 seconds]
Guest54321 has quit [Quit: Client closed]
jeanjack has quit [Ping timeout: 250 seconds]
jeanjack has joined #river
snakedye has joined #river
Ordoviz has quit [Ping timeout: 265 seconds]
waleee has quit [Ping timeout: 268 seconds]
jeanjack_ has joined #river
jeanjack has quit [Ping timeout: 244 seconds]
Ordoviz has joined #river
jeanjack_ has quit [Ping timeout: 265 seconds]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 250 seconds]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 264 seconds]
jeanjack has joined #river
fitrh has joined #river
jeanjack has quit [Ping timeout: 250 seconds]
smach has joined #river
jeanjack has joined #river
snakedye has quit [Ping timeout: 264 seconds]
snakedye has joined #river
jeanjack has quit [Ping timeout: 252 seconds]
wrl has joined #river
fitrh has quit [Quit: fitrh]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 265 seconds]
jeanjack has joined #river
<tleydxdy[m]>
Guest54321: yeah that's an constant annoyance for me too
jeanjack has quit [Ping timeout: 250 seconds]
jeanjack_ has joined #river
jeanjack has joined #river
jeanjack_ has quit [Ping timeout: 244 seconds]
jeanjack has quit [Ping timeout: 264 seconds]
snakedye has quit [Ping timeout: 244 seconds]
snakedye has joined #river
jeanjack has joined #river
jeanjack has quit [Ping timeout: 268 seconds]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 268 seconds]
jeanjack has joined #river
waleee has joined #river
jeanjack has quit [Ping timeout: 244 seconds]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 264 seconds]
LemanR has joined #river
jeanjack has joined #river
jeanjack has quit [Ping timeout: 265 seconds]
jeanjack has joined #river
notzmv has quit [Ping timeout: 268 seconds]
jeanjack_ has joined #river
jeanjack has quit [Ping timeout: 252 seconds]
LemanR has quit [Quit: Client closed]
jeanjack_ has quit [Ping timeout: 265 seconds]
<tleydxdy[m]>
great, IME stopped working again, wth
<tleydxdy[m]>
I didn't even rebuild river between then and now
jeanjack has joined #river
jeanjack has quit [Ping timeout: 265 seconds]
Ordoviz has quit [Ping timeout: 250 seconds]
<novakane>
probably a problem with GTK apps, dbus or fctix rather than river
jeanjack has joined #river
Ordoviz has joined #river
jeanjack has quit [Ping timeout: 252 seconds]
cabal704 has joined #river
jeanjack has joined #river
waleee has quit [Quit: WeeChat 3.6]
waleee has joined #river
jeanjack has quit [Ping timeout: 265 seconds]
snakedye has quit [Read error: Connection reset by peer]
snakedye has joined #river
jeanjack has joined #river
notzmv has joined #river
snakedye has quit [Read error: Connection reset by peer]
snakedye has joined #river
waleee has quit [Ping timeout: 268 seconds]
jeanjack_ has joined #river
jeanjack has quit [Ping timeout: 268 seconds]
snakedye has quit [Ping timeout: 265 seconds]
jeanjack_ has quit [Ping timeout: 265 seconds]
snakedye has joined #river
jeanjack has joined #river
jao has joined #river
Ordoviz has quit [Ping timeout: 265 seconds]
Ordoviz has joined #river
jeanjack has quit [Ping timeout: 265 seconds]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 244 seconds]
jeanjack has joined #river
cabal704 has quit [Quit: WeeChat 3.5]
Ordoviz has quit [Quit: WeeChat 3.6]
jeanjack has quit [Ping timeout: 244 seconds]
LemanR has joined #river
jeanjack has joined #river
cabal704 has joined #river
snakedye has quit [Read error: Connection reset by peer]
snakedye has joined #river
jeanjack has quit [Ping timeout: 252 seconds]
jeanjack has joined #river
waleee has joined #river
cabal704 has quit [Quit: WeeChat 3.5]
Nulo has quit [Read error: Connection reset by peer]
Nulo has joined #river
jeanjack has quit [Ping timeout: 252 seconds]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 252 seconds]
LemanR has quit [Ping timeout: 252 seconds]
jeanjack has joined #river
jeanjack has quit [Ping timeout: 260 seconds]
jeanjack has joined #river
cabal704 has joined #river
jeanjack_ has joined #river
jeanjack has quit [Ping timeout: 265 seconds]
Nulo has quit [Read error: Connection reset by peer]
Nulo has joined #river
Pound_Hash has joined #river
ayushnix has joined #river
jeanjack has joined #river
jeanjack_ has quit [Ping timeout: 268 seconds]
jeanjack has quit [Ping timeout: 252 seconds]
snakedye has quit [Read error: Connection reset by peer]
snakedye has joined #river
jeanjack has joined #river
Pound_Hash has quit [Quit: Pound_Hash]
cabal704 has quit [Quit: WeeChat 3.5]
cabal704 has joined #river
ayushnix has quit [Remote host closed the connection]