Logs: liberachat/#xmonad
| 2024-10-03 15:09:36 | <geekosaur> | then use Data.List.lookup to pull the window list for the workspace tag (what the documentation calls "i", for reasons sadly not relevant to ordinary users) and apply copyWindow to each window in the list |
| 2024-10-03 15:10:48 | <oliver90> | right |
| 2024-10-03 15:12:19 | <geekosaur> | (the reason we have all those "i" "l" "s" "sd" things everywhere is it's all parameterized in a way that let us verify its operation in a proof checker that doesn't have access to X11 types, so we needed to be able to substitute basic types for them) |
| 2024-10-03 15:12:30 | <oliver90> | btw, i am having some issues with ewmhFullscreen and nsxiv/sxiv image viewers, when i use nsxiv `f` key to see the image in fullscreen, the application go to fullscreen fine, but the a press `f` again (like a toggle), the window keeps in fullscreen |
| 2024-10-03 15:13:57 | <geekosaur> | hm. it's working here (I have some sxiv-s open for testing, granting that's not nsxiv) |
| 2024-10-03 15:15:23 | <oliver90> | i tried with sxiv, and i had the same issue |
| 2024-10-03 15:16:08 | × | oliver90 quits (~oliver@177.129.53.35) (Quit: Client closed) |
| 2024-10-03 15:17:56 | → | oliver90 joins (~oliver90@177.129.53.35) |
| 2024-10-03 15:18:13 | <geekosaur> | anyone else around who can help? I need to scoot, get stuff done before I need to head out for my MRI and associated foofery |
| 2024-10-03 15:18:27 | <geekosaur> | (body gradually falling apart…) |
| 2024-10-03 15:20:44 | <oliver90> | all right, thank you for the help, wishing you a speedy recovery |
| 2024-10-03 15:21:20 | <yaslam> | yeah i can help |
| 2024-10-03 15:23:33 | <yaslam> | oliver90: i will install nsxiv and try to replicate your issue |
| 2024-10-03 15:23:44 | <oliver90> | right, thanks |
| 2024-10-03 15:24:17 | <oliver90> | i tried with nsxiv, sxiv, and mage, they behave the same, (and uses the same function to put the window in fullscreen) |
| 2024-10-03 15:27:25 | <yaslam> | oliver90: what key is it for fullscreen again? |
| 2024-10-03 15:27:30 | <yaslam> | in sxiv |
| 2024-10-03 15:27:42 | <yaslam> | i've never used it sorry |
| 2024-10-03 15:28:18 | <yaslam> | when i press f it does nothing |
| 2024-10-03 15:28:23 | <geekosaur> | f |
| 2024-10-03 15:29:28 | <oliver90> | is just f |
| 2024-10-03 15:29:44 | <oliver90> | you opened an image? |
| 2024-10-03 15:30:16 | <oliver90> | i don't know if this key works on thumbnail mode |
| 2024-10-03 15:30:45 | <yaslam> | how do i use the mode that you are using ? |
| 2024-10-03 15:32:47 | <oliver90> | just open a single image, like `nsxiv image.png` |
| 2024-10-03 15:33:41 | <yaslam> | k |
| 2024-10-03 15:35:08 | <yaslam> | oliver90: the window does go into fullscreen when i press "f" and when i press it again it goes out of fullscreen |
| 2024-10-03 15:35:24 | <yaslam> | oliver90: do you have "ewmhFullscreen" in your main block ? |
| 2024-10-03 15:40:14 | <oliver90> | yes |
| 2024-10-03 15:40:37 | <yaslam> | oliver90: can you post your entire config please? |
| 2024-10-03 15:40:58 | <oliver90> | ``` |
| 2024-10-03 15:40:58 | <oliver90> | main = |
| 2024-10-03 15:40:59 | <oliver90> | xmonad |
| 2024-10-03 15:40:59 | <oliver90> | . Hacks.javaHack |
| 2024-10-03 15:41:00 | <oliver90> | . fullscreenSupport |
| 2024-10-03 15:41:00 | <oliver90> | . toggleFullFloatEwmhFullscreen |
| 2024-10-03 15:41:01 | <oliver90> | . ewmhFullscreen |
| 2024-10-03 15:41:01 | <oliver90> | . ewmh |
| 2024-10-03 15:41:02 | <oliver90> | . modal [floatMode 10] |
| 2024-10-03 15:41:02 | <oliver90> | . withEasySB (statusBarProp "xmobar" $ clickablePP myXmobarPP) defToggleStrutsKey |
| 2024-10-03 15:41:03 | <oliver90> | $ myConfig |
| 2024-10-03 15:41:03 | <oliver90> | ``` |
| 2024-10-03 15:41:04 | <oliver90> | that's my main block, and i use Hacks.windowedFullscreenFixEventHook |
| 2024-10-03 15:42:47 | <yaslam> | remove all the other fullscreen things and try just with "ewmh" and "ewmhFullscreen" |
| 2024-10-03 15:43:18 | <yaslam> | oliver90: |
| 2024-10-03 15:43:47 | <oliver90> | worked fine, thanks |
| 2024-10-03 15:44:36 | <oliver90> | probably is the `fullscreenSupport`, if i remove, works fine |
| 2024-10-03 15:44:37 | <geekosaur> | fullscreenSupport is from where? it may be interfering |
| 2024-10-03 15:44:57 | <geekosaur> | also, pasting code directly into IRC doesn't work that well (and won't be formatted, IRC being quite old) |
| 2024-10-03 15:45:01 | <geekosaur> | @where paste |
| 2024-10-03 15:45:01 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-10-03 15:45:25 | <oliver90> | fullscreenSupport is from XMonad.Layout.Fullscreen |
| 2024-10-03 15:45:37 | <oliver90> | thanks geekosaur |
| 2024-10-03 15:45:40 | <geekosaur> | yeh, don't mix then |
| 2024-10-03 15:45:52 | <oliver90> | right |
| 2024-10-03 15:46:01 | <oliver90> | thanks too yaslam |
| 2024-10-03 15:46:25 | <geekosaur> | X.L.Fullscreen is an obsolete way to get fullscreen support, or to get custom fullscreen behavior but you must avoid ewmhFullscreen in the latter case |
| 2024-10-03 15:57:18 | <yaslam> | oliver90, np |
| 2024-10-03 16:05:02 | → | oliver26 joins (~oliver90@177.129.53.35) |
| 2024-10-03 16:05:55 | × | oliver90 quits (~oliver90@177.129.53.35) (Ping timeout: 256 seconds) |
| 2024-10-03 17:07:11 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-10-03 18:09:14 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-10-03 18:38:46 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2024-10-03 18:44:17 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-10-03 18:44:34 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-10-03 18:59:59 | × | oliver26 quits (~oliver90@177.129.53.35) (Quit: Client closed) |
| 2024-10-03 19:50:14 | → | ChubaDuba joins (~ChubaDuba@176.212.47.82) |
| 2024-10-03 19:52:10 | × | ChubaDuba quits (~ChubaDuba@176.212.47.82) (Client Quit) |
| 2024-10-03 19:53:02 | → | ChubaDuba joins (~ChubaDuba@176.212.47.82) |
| 2024-10-03 20:10:31 | → | Digitteknohippie joins (~user@user/digit) |
| 2024-10-03 20:10:48 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-10-03 20:16:52 | Digitteknohippie | is now known as Digit |
| 2024-10-03 20:18:05 | → | FoxOnSocks joins (~FoxOnSock@m83-180-180-82.cust.tele2.se) |
| 2024-10-03 20:18:13 | × | FoxOnSocks quits (~FoxOnSock@m83-180-180-82.cust.tele2.se) (Client Quit) |
| 2024-10-03 20:25:50 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-10-03 20:27:49 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-10-03 20:36:27 | → | mvk joins (~mvk@2607:fea8:5c96:5800::e590) |
| 2024-10-03 20:39:53 | × | mvk quits (~mvk@2607:fea8:5c96:5800::e590) (Client Quit) |
| 2024-10-03 20:54:14 | → | oliver90 joins (~oliver90@177.129.53.35) |
| 2024-10-03 21:11:53 | × | oliver90 quits (~oliver90@177.129.53.35) (Quit: Client closed) |
| 2024-10-03 21:19:33 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2024-10-03 22:16:53 | × | ChubaDuba quits (~ChubaDuba@176.212.47.82) (Quit: WeeChat 4.3.3) |
| 2024-10-04 00:34:19 | × | alp_ quits (~alp@2001:861:e3d6:8f80:a9cc:355d:4963:1655) (Ping timeout: 264 seconds) |
| 2024-10-04 02:18:18 | × | td_ quits (~td@i5387091A.versanet.de) (Ping timeout: 265 seconds) |
| 2024-10-04 02:19:41 | → | td_ joins (~td@83.135.9.0) |
| 2024-10-04 02:42:17 | × | terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-04 02:45:13 | → | terrorjack4 joins (~terrorjac@static.48.15.202.116.clients.your-server.de) |
| 2024-10-04 04:21:24 | → | alp_ joins (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) |
| 2024-10-04 04:30:22 | × | alp_ quits (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) (Remote host closed the connection) |
| 2024-10-04 06:48:10 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-10-04 07:38:45 | → | alp_ joins (~alp@2001:861:e3d6:8f80:8757:488:1b7d:9c52) |
| 2024-10-04 07:47:39 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-04 07:47:54 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-10-04 08:10:05 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-10-04 08:10:18 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 2024-10-04 08:56:23 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-04 10:55:58 | → | ChubaDuba joins (~ChubaDuba@5.165.254.101) |
| 2024-10-04 11:01:47 | × | ChubaDuba quits (~ChubaDuba@5.165.254.101) (Quit: Leaving) |
| 2024-10-04 11:02:08 | → | ChubaDuba joins (~ChubaDuba@5.165.254.101) |
| 2024-10-04 11:02:11 | × | ChubaDuba quits (~ChubaDuba@5.165.254.101) (Client Quit) |
All times are in UTC.