Newest at the top
2024-05-17 11:33:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-17 11:31:54 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
2024-05-17 11:31:16 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-05-17 11:30:30 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-05-17 11:26:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 11:25:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-17 11:09:40 +0200 | ubert | (~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de) |
2024-05-17 11:09:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
2024-05-17 11:00:15 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-17 10:54:06 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-17 10:53:36 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
2024-05-17 10:50:45 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) |
2024-05-17 10:44:47 +0200 | danse-nr3 | (~danse-nr3@ge-19-102-90.service.infuturo.it) (Ping timeout: 268 seconds) |
2024-05-17 10:42:32 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-17 10:42:08 +0200 | rosco | (~rosco@173.150.68.85.rev.sfr.net) |
2024-05-17 10:36:20 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds) |
2024-05-17 10:36:04 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 10:35:54 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
2024-05-17 10:26:26 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-17 10:24:29 +0200 | danse-nr3 | (~danse-nr3@ge-19-102-90.service.infuturo.it) |
2024-05-17 10:13:07 +0200 | <[exa]> | ah np :) thanks for fixing this |
2024-05-17 10:11:53 +0200 | <tomsmeding> | [exa]: thanks for complaining :) |
2024-05-17 10:11:48 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-17 10:08:18 +0200 | <[exa]> | so I guess lets wait if anyone comes here to complain about this stupid 3dot button appearing again :D |
2024-05-17 10:07:37 +0200 | <[exa]> | anyway this kinda works and does not seem as annoying as I thought it would be |
2024-05-17 10:07:21 +0200 | <tomsmeding> | not sure this is js's fault :) |
2024-05-17 10:07:04 +0200 | <[exa]> | javascripts. *exhales* |
2024-05-17 10:06:49 +0200 | <tomsmeding> | yeah |
2024-05-17 10:06:43 +0200 | <[exa]> | yeah apparently that is the same on the official site too |
2024-05-17 10:05:37 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:e61a:851b:d7b:27e8) (Ping timeout: 268 seconds) |
2024-05-17 10:03:52 +0200 | <tomsmeding> | * :p |
2024-05-17 10:03:50 +0200 | <tomsmeding> | but the mobile experience is bound to be awkward anyway so I'm willing to just keep this as a hack : |
2024-05-17 10:03:25 +0200 | <tomsmeding> | and the menu is weird because there's no visual separator between the buttons etc |
2024-05-17 10:03:16 +0200 | <[exa]> | yep |
2024-05-17 10:03:13 +0200 | <[exa]> | lemme check a thing tho |
2024-05-17 10:03:07 +0200 | <tomsmeding> | the full menu doesn't even fit on my phone's screen |
2024-05-17 10:02:51 +0200 | <[exa]> | thanks! |
2024-05-17 10:02:48 +0200 | <[exa]> | ooh yes it works now |
2024-05-17 10:02:23 +0200 | <tomsmeding> | should I just keep that button? |
2024-05-17 10:01:58 +0200 | <tomsmeding> | [exa]: removed that css now, reload play.haskell.org |
2024-05-17 10:01:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 10:01:36 +0200 | <[exa]> | ok |
2024-05-17 10:01:34 +0200 | <[exa]> | lol |
2024-05-17 10:01:16 +0200 | <[exa]> | what are folks like gitlabs and giteas using? |
2024-05-17 10:01:06 +0200 | <tomsmeding> | yeah you don't see it on play.h.o because https://github.com/haskell/play-haskell/blob/master/play-haskell-server/play.mustache#L332-L334 lol |
2024-05-17 10:00:44 +0200 | <[exa]> | *but |
2024-05-17 10:00:37 +0200 | <[exa]> | the ldots button I dont see on play.h.o bot it seems to work on the official site |
2024-05-17 10:00:09 +0200 | <[exa]> | yeah not saying CM would be better :D |
2024-05-17 09:59:36 +0200 | <tomsmeding> | except now this |
2024-05-17 09:59:31 +0200 | <tomsmeding> | ace just worked (tm) |