Newest at the top
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) |
2024-05-17 09:59:18 +0200 | <tomsmeding> | documentation was incomplete, the typescript typing seemed incorrect in places, and there was way too much abstraction |
2024-05-17 09:59:00 +0200 | <tomsmeding> | I was using codemirror before because maerwald put that in but I could not make heads or tails of its configuration |
2024-05-17 09:58:43 +0200 | <tomsmeding> | [exa]: do you get the (...) button the right-hand side of the line |
2024-05-17 09:58:43 +0200 | <[exa]> | but e.g. CodeMirror6 seems to work |
2024-05-17 09:58:24 +0200 | <[exa]> | yeah really, I cannot paste to the official ace demo |
2024-05-17 09:58:04 +0200 | <[exa]> | ah I see |
2024-05-17 09:57:18 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
2024-05-17 09:53:40 +0200 | <tomsmeding> | https://ace.c9.io/ |
2024-05-17 09:53:36 +0200 | <tomsmeding> | Ace |
2024-05-17 09:52:44 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
2024-05-17 09:52:11 +0200 | <[exa]> | what's the editor btw? (quite annoyingly I'm on a cellphone now :D ) |
2024-05-17 09:51:41 +0200 | <[exa]> | as a stupid workaround, a button to open a local file would probably do as well |