!YJAomMWMJOySfOcvbA:matrix.org

scalameta/metals-contributors

407 Members
Discord bridge for scalameta/metals-contributors3 Servers

Load older messages


SenderMessageTime
22 Apr 2024
@_discord_882757000197472276:t2bot.iodoofin000 Tomasz Godzik yep there're already a completion, adding them as code action would be very handy. 18:32:30
24 Apr 2024
@_discord_546733161388703811:t2bot.iodigitalmechanic joined the room.10:26:54
25 Apr 2024
@_discord_305013527763222528:t2bot.iooyvindberg joined the room.20:48:50
@_discord_121467287545839616:t2bot.ioyeoldeporkchop changed their profile picture.20:57:04
26 Apr 2024
@_discord_644849095785054218:t2bot.iobjornregnell joined the room.11:40:45
@_discord_644849095785054218:t2bot.iobjornregnell I really like the green arrow play button in the margin for tests. Could we also have a green arrow play button on @main methods and on the line nbr 1 of .sc scripts? A green margin play button will be easier to spot in a busy window. Also if you activate a .sc script by allowing import of it, th "run | debug" seems to appear hidden above the scroll and I have to scroll on top to see it. If there was a green play button in the margin I'd see it more easily... 11:44:04
@_discord_644849095785054218:t2bot.iobjornregnellimage.png
Download image.png
11:45:23
@_discord_392428121342869534:t2bot.ioTomasz Godzik Ach, I don't know how to do it. It's for sure possible but I think it goes beyond the standard Vs code api 11:57:18
@_discord_392428121342869534:t2bot.ioTomasz Godzik Maybe python extension does that? 🤔 11:57:32
@_discord_644849095785054218:t2bot.iobjornregnell I got the idea when my .sc had a hidden "run | debug" after re-import... 11:57:54
@_discord_644849095785054218:t2bot.iobjornregnellimage.png
Download image.png
11:58:24
@_discord_644849095785054218:t2bot.iobjornregnell but it's there... I have to scroll but no clue... 11:59:02
@_discord_644849095785054218:t2bot.iobjornregnellimage.png
Download image.png
11:59:04
@_discord_644849095785054218:t2bot.iobjornregnell But the playbotton will be attached to the relevant line. 11:59:21
@_discord_644849095785054218:t2bot.iobjornregnell Another thing is that "run | debug" is kind of messing with vertical real estate, but the margin button does not... 11:59:45
@_discord_644849095785054218:t2bot.iobjornregnell Also when a file goes from error state to being runnable after fixing errors then a appearing grteen arrow will be a good cue of that it is now compiling 12:01:17
@_discord_644849095785054218:t2bot.iobjornregnell Also the @main methods will be easier to spot. 12:01:52
@_discord_644849095785054218:t2bot.iobjornregnell (Sorry for spamming all my arguments 🙂 ) 12:02:07
@_discord_644849095785054218:t2bot.iobjornregnell Well the green arrow in my tests appeared automatically after adding munit to my build.sbt 12:03:55
@_discord_644849095785054218:t2bot.iobjornregnell * Well the green arrow in my tests appeared automatically after adding munit to my build.sbt
So I thought it should be the Metals extension doing that?
12:04:19
@_discord_644849095785054218:t2bot.iobjornregnell * But the playbotton will be attached to the *margin of the relevant line. 12:05:02
@_discord_644849095785054218:t2bot.iobjornregnell * But the playbotton will be attached to the margin of the relevant line. 12:05:08
@_discord_644849095785054218:t2bot.iobjornregnell * But the playbotton will be attached to the * margin * of the relevant line. 12:05:20
@_discord_644849095785054218:t2bot.iobjornregnell * Also when a file goes from error state to being runnable after fixing errors then an appearing green arrow will be a good cue of that it is now when from errors to runnable 12:06:01
@_discord_392428121342869534:t2bot.ioTomasz Godzik yes and no. It's part of Test Explorer API which we implement, but I don't think there is an equivalent for main methods 12:37:10
@_discord_392428121342869534:t2bot.ioTomasz Godzik And I totally agree about having it, just not sure how to do it best 😅 12:37:30
@_discord_644849095785054218:t2bot.iobjornregnell Do you want me to add a feature request issue somewhere on github for the record? 12:38:13
@_discord_644849095785054218:t2bot.iobjornregnell * Do you want me to add a feature request issue somewhere (where?) on github for the record? 12:40:17
@_discord_392428121342869534:t2bot.ioTomasz Godzik sure, I makes sense. I will probably look at it on a slow weekend 13:03:25
@_discord_644849095785054218:t2bot.iobjornregnell https://github.com/scalameta/metals-feature-requests/issues/384
Sounds like a fun prjoect for a slow weekend 🙂
14:22:16

There are no newer messages yet.


Back to Room ListRoom Version: 9