2025/10/23

2025-10-23 01:15:31 +0200vanvik(~vanvik@143.110.100.4) (Ping timeout: 246 seconds)
2025-10-23 01:18:51 +0200vanvik(~vanvik@143.110.100.4) vanvik
2025-10-23 02:14:26 +0200vanvik(~vanvik@143.110.100.4) (Quit: Ping timeout (120 seconds))
2025-10-23 02:14:44 +0200vanvik(~vanvik@143.110.100.4) vanvik
2025-10-23 04:28:49 +0200td_(~td@i53870932.versanet.de) (Ping timeout: 264 seconds)
2025-10-23 04:30:36 +0200td_(~td@i53870926.versanet.de)
2025-10-23 04:43:03 +0200terrorjack(~terrorjac@static.121.247.201.138.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2025-10-23 04:45:37 +0200terrorjack(~terrorjac@2a01:4f8:c17:9d11::) terrorjack
2025-10-23 07:21:24 +0200OftenFaded(~OftenFade@user/OftenFaded) (Quit: OftenFaded)
2025-10-23 07:21:52 +0200OftenFaded(~OftenFade@user/OftenFaded) OftenFaded
2025-10-23 07:34:59 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-10-23 07:39:05 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-10-23 08:15:41 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-23 08:58:33 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-23 09:37:06 +0200yecinem_(~yecinem@p200300ee0f0876008e234cd803b8a022.dip0.t-ipconnect.de)
2025-10-23 09:58:01 +0200ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-23 12:49:15 +0200kaskal-(~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in)
2025-10-23 12:49:43 +0200kaskal(~kaskal@2a02:8388:1a8b:7d00:2bf0:62e:e362:6c40) kaskal
2025-10-23 15:05:02 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-23 15:36:21 +0200 <Enrico63> Hi. If I open a movie with MPlayer, it initially opens as a float, but not in fullscreen, and that's ok (let's call this state "A"). If I press `f`, MPlayer doesn't really go full screen (thought it does move), let's call this "B". If I press `f` again, MPlayer goes tiled, let's call this "C". Now, if I keep hitting `f`, the state alternates
2025-10-23 15:36:22 +0200 <Enrico63> bewteen "B" and "C". State "C" _looks to me like_ full-screen **iff** I'm using the `Full` layout. And this is all right, I've got used to it: when I want to watch a movie, I go `Full`, and press `f` twice after opening MPlayer. However, I've just noticed that `xprop -id idOfMplayerWin` contains the line `_NET_WM_STATE(ATOM) =
2025-10-23 15:36:22 +0200 <Enrico63> _NET_WM_STATE_FULLSCREEN` in state "B", not in state "C". Is there a way for this output to "agree" with what I see?
2025-10-23 15:37:48 +0200 <Enrico63> The reason I'm asking is that I'm trying to exhume an old script I used with xautolock to lock the screen only if no full-screen window was active with the title being one of YouTube|MPlayer|..., and that script relies on the output of `xprop` to determine if something is fullscreen or not
2025-10-23 15:56:44 +0200 <Leary> Enrico63: Uhh, I don't know, but I have some comments. Firstly, wow, MPlayer still exists? If you prefer it tiled, build your `ManageHook` from scratch rather than over `manageHook def`; I really don't know why we have special casing for MPlayer in the defaults. Secondly, a focused window playing video should generally tell the X server not to start the screensaver, so e.g. xss-lock won't auto-lock the screen either. You shouldn't need to hack this kind
2025-10-23 15:56:44 +0200 <Leary> of behaviour yourself.
2025-10-23 16:16:29 +0200 <Enrico63> Leary, I did that manually because I passed to `xautolock` the locker. I would apply the logic I mentioned and then I woudl run `i3lock --color=000000 "$1" && xset dpms force off` if the decision was to lock indeed. However, it is long ago.
2025-10-23 16:21:48 +0200 <L29Ah> iirc the ewmh thing in xmonad-contrib would help with the windows that want to go fullscreen
2025-10-23 16:24:00 +0200 <Enrico63> L29Ah, I do have `main = xmonad . ewmhFullscreen . ewmh . withEasySB (...) . myConfig`
2025-10-23 16:24:45 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-23 16:25:54 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-23 16:35:37 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-23 16:43:23 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-23 17:02:28 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-23 17:27:05 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-23 17:31:28 +0200 <geekosaur> I think the defaults are over a decade out of date and should probably go away completely
2025-10-23 17:55:37 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-23 18:16:02 +0200yecinem_(~yecinem@p200300ee0f0876008e234cd803b8a022.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-23 18:59:38 +0200ChubaDuba(~ChubaDuba@176.213.35.188) ChubaDuba
2025-10-23 19:00:51 +0200ChubaDuba(~ChubaDuba@176.213.35.188) (Client Quit)
2025-10-23 19:01:07 +0200ChubaDuba(~ChubaDuba@176.213.35.188) ChubaDuba
2025-10-23 19:02:16 +0200ChubaDuba(~ChubaDuba@176.213.35.188) (Client Quit)
2025-10-23 19:06:22 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-23 19:42:11 +0200 <liskin> What defaults?
2025-10-23 19:42:45 +0200 <Enrico63> I suppose the defaults of whether a window should be tiled or float when a program opens?
2025-10-23 19:42:46 +0200 <geekosaur> default manageHook
2025-10-23 19:42:57 +0200 <liskin> What Enrico63 has seems quite sensible and not that different to what I have, and full-screen works flawlessly
2025-10-23 19:42:58 +0200 <Enrico63> Oh, ok, not what I said, ahah
2025-10-23 19:43:16 +0200 <geekosaur> I think we still have one for an ancient gimp, which doesn't work the same way any more, and there's one for MPlayer that also doesn;t work that way any more
2025-10-23 19:43:19 +0200 <liskin> But yeah my manageHook might be quite different
2025-10-23 19:43:55 +0200 <liskin> But I switched to mpv ages ago
2025-10-23 19:44:41 +0200 <liskin> I think mplayer did some funny stuff if it detected xmonad? Or just said some shit things about us in the man page or code comments. Can't remember
2025-10-23 19:44:54 +0200 <geekosaur> the latter
2025-10-23 19:45:01 +0200 <geekosaur> we fixed it some time ago iirc
2025-10-23 19:45:45 +0200 <liskin> Can't really blame them either, full-screen support not being enabled by default is unfortunate especially if they're getting the shit end of our bug reports
2025-10-23 19:46:27 +0200 <geekosaur> this is part of why I think EWMH should be merged to core; these days, it's expected
2025-10-23 19:46:52 +0200 <geekosaur> no different from when I joined the xmonad project to fix our not supporting ICCCM correctly
2025-10-23 19:49:34 +0200 <liskin> These days being 5 years ago. Don't think anything really matters anymore. The world has kinda moved on?
2025-10-23 19:50:44 +0200 <liskin> Anyway, maybe just me being too depressed and burnt out. I'd have to win the lottery or at least move countries to be able to make significant contributions to xmonad again.
2025-10-23 19:53:32 +0200 <Enrico63> But so, what is the suggestion? To use mpv instead of mplayer? To use xss-lock instead of xautolock+some locker?
2025-10-23 19:53:50 +0200 <geekosaur> yes and no, wayland is completely EWMH (ICCCM is X11-specific so dropped, which is why EWMH duplicates things like urgency handling)
2025-10-23 19:54:24 +0200 <Enrico63> That's to liskin?
2025-10-23 19:55:31 +0200 <geekosaur> yes
2025-10-23 19:56:17 +0200 <geekosaur> also I'm still expecting that someone reputable will fork Xorg and keep it alive, because existing Wayland implementations have a number of shortcomings
2025-10-23 19:58:32 +0200 <L29Ah> Enrico63: i use mpv and xss-lock with i3lock-color
2025-10-23 19:58:55 +0200 <L29Ah> but i don't have your problem solved and would hope to get a solution, but it is not really a pressing issue
2025-10-23 19:59:25 +0200 <L29Ah> the workaround being "don't forget to supply --stop-screensaver if you are going to watch long stuff without breaks"
2025-10-23 20:00:12 +0200 <geekosaur> I think the automatic one has nothing to do with xmonad; it's based on dbus messages
2025-10-23 20:00:20 +0200 <Enrico63> You don't have it solved for the reason I described, i.e. that xprop doesn't tell you FULLSCREEN when you actually have fullscreen in xmonad?
2025-10-23 20:00:23 +0200 <geekosaur> so you need to run a dbus session for it to work
2025-10-23 20:00:41 +0200 <L29Ah> Enrico63: i don't have it solved because i never approached it like that
2025-10-23 20:01:19 +0200 <Enrico63> You never approached it at all.... ?
2025-10-23 20:01:25 +0200 <L29Ah> and yes, it doesn't say FULLSCREEN
2025-10-23 20:01:39 +0200 <L29Ah> but i never use the in-mpv fullscreen feature
2025-10-23 20:01:47 +0200 <L29Ah> i have Full for making things fullscreen
2025-10-23 20:02:20 +0200 <Enrico63> Ok, so you're telling me that if you focus mpv when Full layout is active, mpv does show fullscreen.
2025-10-23 20:02:37 +0200 <L29Ah> what else could it do? it has no other option
2025-10-23 20:02:39 +0200 <geekosaur> hm. I think we should fix ewmhFullscreen not marking it properly
2025-10-23 20:03:06 +0200 <Enrico63> L29Ah, mplayer _doesn't_ do that, as I described.
2025-10-23 20:03:22 +0200 <L29Ah> i only use `ewmh`
2025-10-23 20:03:23 +0200 <geekosaur> there's an alternative EWMH fullscreen implementation using a layout, which should advertise properly
2025-10-23 20:04:00 +0200 <geekosaur> https://hackage.haskell.org/package/xmonad-contrib-0.18.1/docs/XMonad-Layout-Fullscreen.html
2025-10-23 20:04:11 +0200 <L29Ah> also i don't remember problems with mplayer but maybe my memory is rotting away as mplayer was removed from my system over 12 years ago
2025-10-23 20:04:47 +0200ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft
2025-10-23 20:05:29 +0200 <Enrico63> Oh, ok, sorry, I forgot what my initial point was: I wanted to tell whether a program is full-screen, and Full+mplayer tiled-and-focused doesn't result in xprop reporting FULLSCREEN.
2025-10-23 20:25:05 +0200 <Enrico63> geekosaur, how is that module supposed to work? As soon as I set ` handleEventHook = fullscreenEventHook, manageHook = fullscreenManageHook` and recompile, I do see differences, .e.g when I open mplayer, it opens as tiled, and _its_ `f` command doesn't have any effect on the layout (even though `xprop` reveleas whether mplayer thinks to be in
2025-10-23 20:25:06 +0200 <Enrico63> fullscreen).
2025-10-23 20:27:46 +0200 <geekosaur> That sounds wrong, it should be sending an EWMH event which both changes the property and fullscreens the window
2025-10-23 20:28:26 +0200 <geekosaur> But I can't check right now, I'll be away from my desk for about half an hour
2025-10-23 20:28:39 +0200 <Enrico63> For that, am I supposed to actually use one of the functions, e.g. `fullscreenFull`?
2025-10-23 20:28:47 +0200 <Enrico63> Ok, ok,  NP.
2025-10-23 20:29:05 +0200 <geekosaur> No, the event should do it
2025-10-23 20:29:56 +0200 <geekosaur> The functions are for doing it via xmonad commands and to implement the events
2025-10-23 20:44:30 +0200 <Enrico63> Just tried with `mpv` instead of `mplayer`. Even without setting `handleEventHook = XMonad.Layout.Fullscreen.fullscreenEventHook, manageHook = XMonad.Layout.Fullscreen.fullscreenManageHook`, it starts in tiled mode, in which case `xprop | grep FULLSCREEN` correctly gives no match, and upon pressing `f` it goes fullscreen (also correctly covering
2025-10-23 20:44:31 +0200 <Enrico63> xmobar without me needing to mod+b to hide it) and `xprop | grep FULLSCREEN` does give a match.
2025-10-23 20:45:06 +0200 <Enrico63> I suppose I can just throw away `mplayer` and embrace `mpv`.
2025-10-23 20:59:59 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-23 21:05:21 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-23 21:27:29 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
2025-10-23 21:32:24 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63
2025-10-23 21:34:42 +0200Digitteknohippie(~user@user/digit) Digit
2025-10-23 21:41:36 +0200rekahsoft(~rekahsoft@70.51.99.245) (*.net *.split)
2025-10-23 21:41:36 +0200Digit(~user@user/digit) (*.net *.split)
2025-10-23 21:41:36 +0200ml|(~ml|@user/ml/x-5298235) (*.net *.split)
2025-10-23 21:48:52 +0200ml|(~ml|@user/ml/x-5298235) ml|
2025-10-23 21:49:50 +0200DigitteknohippieDigit
2025-10-23 23:59:00 +0200Enrico63(~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)