| 10 Apr 2024 |
|  thanh.le joined the room. | 01:15:50 |
 altrack_ | Added my case here:
https://github.com/scalameta/metals/issues/5272 | 12:21:37 |
|  bumblebread. joined the room. | 22:59:04 |
| 11 Apr 2024 |
|  arturaz changed their profile picture. | 09:31:24 |
|  davesmith00000 changed their profile picture. | 10:23:05 |
| 12 Apr 2024 |
|  fel_mazo joined the room. | 09:25:32 |
| fel_mazo | Hi there ! I'm barely getting started with scala, and I just noticed a bug with worksheets on vscode: when project's build.sbt scala version is set to anything higher than 3.3.3 (latest LTS ?) compilation fails throwing a NoClassDefFoundError. I looked around github issues and couldn't find anything like this.
one weird thing I'm seeing in the logs is this :
no build target found for .../toto.worksheet.sc. Using presentation compiler with project's scala-library version: 3.3.1
followed by: Failed to resolve mtags for 3.4.0
any clues ? | 09:25:33 |
| fel_mazo changed their display name from _discord_435406890562879488 to fel_mazo. | 09:25:34 |
 Tomasz Godzik | I think that is already fixed for the newest metals, we'll release new version Monday | 09:26:12 |
| Tomasz Godzik | You can try nightly to confirm | 09:26:21 |
| fel_mazo | awesome thanks ! | 09:26:29 |
| fel_mazo | just checking nightly is pre-release right ? | 09:29:59 |
| fel_mazo | v1.29.10 still has the issue | 09:31:28 |
| Tomasz Godzik | So there are two things, one is Prerelease for vs code plugin and another is the server | 09:44:00 |
| Tomasz Godzik | Prerelease of vs code will suggest updating daily to newest nightly of the server but it doesn't happen automatically just in case something was really broken | 09:44:38 |
| Tomasz Godzik | You can find the latest nightly on the docs page of scalameta.org/metals and update it in Vs Code manually | 09:45:24 |
| fel_mazo | thanks ! everything works fine ! | 09:52:52 |
 spamegg1 | When I approve of the update to the latest snapshot, it requires reloading the window.
Recently VS Code's latest (March) release brought a new feature: updating extensions without having to reload the window: https://code.visualstudio.com/updates/v1_88#_extensions-update-improvements
I wonder if Metals update can make use of this somehow? | 11:13:34 |
| Tomasz Godzik | I think we can? | 11:14:51 |
| Tomasz Godzik | But for server it actually doesn't require reloading | 11:15:37 |
| Tomasz Godzik | But it does restarting | 11:15:43 |
| Tomasz Godzik | Reloading is more sure though | 11:15:52 |
| spamegg1 | Ah so it has to restart the server, but not reload the VS Code window? | 11:18:32 |
| Tomasz Godzik | Yes, since we start totally different jars | 11:23:13 |
| spamegg1 | So "restarting the extension" is not the same as "restarting Metals server"? Or is it | 11:23:42 |
| Tomasz Godzik | Ten extension though will not require reloading itself | 11:23:42 |
| Tomasz Godzik | It's not the same | 11:23:51 |
|  nphardass joined the room. | 11:25:18 |
| 14 Apr 2024 |
|  sumew joined the room. | 15:49:18 |
| 15 Apr 2024 |
|  valencik changed their profile picture. | 12:31:42 |
