Home liberachat/#xmonad: Logs Calendar

Logs on 2025-10-23 (liberachat/#xmonad)

00:14:26 × vanvik quits (~vanvik@143.110.100.4) (Quit: Ping timeout (120 seconds))
00:14:44 vanvik joins (~vanvik@143.110.100.4)
02:28:49 × td_ quits (~td@i53870932.versanet.de) (Ping timeout: 264 seconds)
02:30:36 td_ joins (~td@i53870926.versanet.de)
02:43:03 × terrorjack quits (~terrorjac@static.121.247.201.138.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
02:45:37 terrorjack joins (~terrorjac@2a01:4f8:c17:9d11::)
05:21:24 × OftenFaded quits (~OftenFade@user/OftenFaded) (Quit: OftenFaded)
05:21:52 OftenFaded joins (~OftenFade@user/OftenFaded)
05:34:59 × Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection)
05:39:05 Leary joins (~Leary@user/Leary/x-0910699)
06:15:41 Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it)
06:58:33 × Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
07:37:06 yecinem_ joins (~yecinem@p200300ee0f0876008e234cd803b8a022.dip0.t-ipconnect.de)
07:58:01 × ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
10:49:15 × kaskal- quits (~kaskal@84-115-235-223.cable.dynamic.surfer.at) (Quit: ZNC - https://znc.in)
10:49:43 kaskal joins (~kaskal@2a02:8388:1a8b:7d00:2bf0:62e:e362:6c40)
13:05:02 Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it)
13:36:21 <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
13:36:22 <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) =
13:36:22 <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?
13:37:48 <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
13:56:44 <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
13:56:44 <Leary> of behaviour yourself.
14:16:29 <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.
14:21:48 <L29Ah> iirc the ewmh thing in xmonad-contrib would help with the windows that want to go fullscreen
14:24:00 <Enrico63> L29Ah, I do have `main = xmonad . ewmhFullscreen . ewmh . withEasySB (...) . myConfig`
14:24:45 × Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
14:25:54 Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it)
14:35:37 × Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
14:43:23 Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it)
15:02:28 × Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
15:27:05 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
15:31:28 <geekosaur> I think the defaults are over a decade out of date and should probably go away completely
15:55:37 L29Ah joins (~L29Ah@wikipedia/L29Ah)
16:16:02 × yecinem_ quits (~yecinem@p200300ee0f0876008e234cd803b8a022.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
16:59:38 ChubaDuba joins (~ChubaDuba@176.213.35.188)
17:00:51 × ChubaDuba quits (~ChubaDuba@176.213.35.188) (Client Quit)
17:01:07 ChubaDuba joins (~ChubaDuba@176.213.35.188)
17:02:16 × ChubaDuba quits (~ChubaDuba@176.213.35.188) (Client Quit)
17:06:22 Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it)
17:42:11 <liskin> What defaults?
17:42:45 <Enrico63> I suppose the defaults of whether a window should be tiled or float when a program opens?
17:42:46 <geekosaur> default manageHook
17:42:57 <liskin> What Enrico63 has seems quite sensible and not that different to what I have, and full-screen works flawlessly
17:42:58 <Enrico63> Oh, ok, not what I said, ahah
17:43:16 <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
17:43:19 <liskin> But yeah my manageHook might be quite different
17:43:55 <liskin> But I switched to mpv ages ago
17:44:41 <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
17:44:54 <geekosaur> the latter
17:45:01 <geekosaur> we fixed it some time ago iirc
17:45:45 <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
17:46:27 <geekosaur> this is part of why I think EWMH should be merged to core; these days, it's expected
17:46:52 <geekosaur> no different from when I joined the xmonad project to fix our not supporting ICCCM correctly
17:49:34 <liskin> These days being 5 years ago. Don't think anything really matters anymore. The world has kinda moved on?
17:50:44 <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.
17:53:32 <Enrico63> But so, what is the suggestion? To use mpv instead of mplayer? To use xss-lock instead of xautolock+some locker?
17:53:50 <geekosaur> yes and no, wayland is completely EWMH (ICCCM is X11-specific so dropped, which is why EWMH duplicates things like urgency handling)
17:54:24 <Enrico63> That's to liskin?
17:55:31 <geekosaur> yes
17:56:17 <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
17:58:32 <L29Ah> Enrico63: i use mpv and xss-lock with i3lock-color
17:58:55 <L29Ah> but i don't have your problem solved and would hope to get a solution, but it is not really a pressing issue
17:59:25 <L29Ah> the workaround being "don't forget to supply --stop-screensaver if you are going to watch long stuff without breaks"
18:00:12 <geekosaur> I think the automatic one has nothing to do with xmonad; it's based on dbus messages
18:00:20 <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?
18:00:23 <geekosaur> so you need to run a dbus session for it to work
18:00:41 <L29Ah> Enrico63: i don't have it solved because i never approached it like that
18:01:19 <Enrico63> You never approached it at all.... ?
18:01:25 <L29Ah> and yes, it doesn't say FULLSCREEN
18:01:39 <L29Ah> but i never use the in-mpv fullscreen feature
18:01:47 <L29Ah> i have Full for making things fullscreen
18:02:20 <Enrico63> Ok, so you're telling me that if you focus mpv when Full layout is active, mpv does show fullscreen.
18:02:37 <L29Ah> what else could it do? it has no other option
18:02:39 <geekosaur> hm. I think we should fix ewmhFullscreen not marking it properly
18:03:06 <Enrico63> L29Ah, mplayer _doesn't_ do that, as I described.
18:03:22 <L29Ah> i only use `ewmh`
18:03:23 <geekosaur> there's an alternative EWMH fullscreen implementation using a layout, which should advertise properly
18:04:00 <geekosaur> https://hackage.haskell.org/package/xmonad-contrib-0.18.1/docs/XMonad-Layout-Fullscreen.html
18:04:11 <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
18:04:47 ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de)
18:05:29 <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.
18:25:05 <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
18:25:06 <Enrico63> fullscreen).
18:27:46 <geekosaur> That sounds wrong, it should be sending an EWMH event which both changes the property and fullscreens the window
18:28:26 <geekosaur> But I can't check right now, I'll be away from my desk for about half an hour
18:28:39 <Enrico63> For that, am I supposed to actually use one of the functions, e.g. `fullscreenFull`?
18:28:47 <Enrico63> Ok, ok,  NP.
18:29:05 <geekosaur> No, the event should do it
18:29:56 <geekosaur> The functions are for doing it via xmonad commands and to implement the events
18:44:30 <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
18:44:31 <Enrico63> xmobar without me needing to mod+b to hide it) and `xprop | grep FULLSCREEN` does give a match.
18:45:06 <Enrico63> I suppose I can just throw away `mplayer` and embrace `mpv`.
18:59:59 × Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
19:05:21 Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it)
19:27:29 × Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)
19:32:24 Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it)
19:34:42 Digitteknohippie joins (~user@user/digit)
19:41:36 × rekahsoft quits (~rekahsoft@70.51.99.245) (*.net *.split)
19:41:36 × Digit quits (~user@user/digit) (*.net *.split)
19:41:36 × ml| quits (~ml|@user/ml/x-5298235) (*.net *.split)
19:48:52 ml| joins (~ml|@user/ml/x-5298235)
19:49:50 Digitteknohippie is now known as Digit
21:59:00 × Enrico63 quits (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed)

All times are in UTC on 2025-10-23.