2024/05/17

Newest at the top

2024-05-17 11:33:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-17 11:31:54 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-05-17 11:31:16 +0200driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-05-17 11:30:30 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-05-17 11:26:41 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-17 11:25:10 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-17 11:09:40 +0200ubert(~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de)
2024-05-17 11:09:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds)
2024-05-17 11:00:15 +0200euphores(~SASL_euph@user/euphores)
2024-05-17 10:54:06 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-17 10:53:36 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 260 seconds)
2024-05-17 10:50:45 +0200danse-nr3(~danse-nr3@151.46.212.14)
2024-05-17 10:44:47 +0200danse-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 +0200rosco(~rosco@173.150.68.85.rev.sfr.net)
2024-05-17 10:36:20 +0200zer0bitz(~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds)
2024-05-17 10:36:04 +0200gmg(~user@user/gehmehgeh)
2024-05-17 10:35:54 +0200remedan(~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!)
2024-05-17 10:26:26 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-17 10:24:29 +0200danse-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 +0200cfricke(~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 +0200barak(~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 +0200L29Ah(~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)