2024/05/17

Newest at the top

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)
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 +0200y04nn(~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 +0200fendor(~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
2024-05-17 09:50:18 +0200 <[exa]> yeah
2024-05-17 09:49:23 +0200 <tomsmeding> but I think I disabled that because it was terribly annoying
2024-05-17 09:49:16 +0200 <[exa]> otoh there us no reason why the editor would block pastes right? so maybe better if I go scream at upstream :)
2024-05-17 09:49:15 +0200 <tomsmeding> there's actually some kind of context menu thing that this fancy editor does where it does offer clipboard actions
2024-05-17 09:48:45 +0200 <[exa]> yeah maybe a completely stupid switch like "plain textarea/cool colorcodearea" could do
2024-05-17 09:48:05 +0200 <tomsmeding> the horizontal vs vertical layout is based on window width, but that makes some kind of sense for layout but is certainly too indirect for something like "has a proper external keyboard"
2024-05-17 09:47:29 +0200chele(~chele@user/chele)
2024-05-17 09:47:26 +0200 <tomsmeding> I'm not unwilling to just make it a plain <textarea>, but then how to detect whether to do so?
2024-05-17 09:46:59 +0200 <tomsmeding> I'm open to suggestions
2024-05-17 09:46:53 +0200 <tomsmeding> [exa]: yeah the mobile experience on the playground is a bit broken because the editor is too clever
2024-05-17 09:46:46 +0200sawilagar(~sawilagar@user/sawilagar)