Hi,
This is indeed a noisy change. That's the reason it was a change we were
holding back during years, but at a point we needed to do it (there is a
spec for tonel format we made together with Gemstone people and at a
point, we needed to go to the agreed definition.
So, yes... this will cau
The team will be back from vacation…. last week was a three free days week :).
S
> On 12 May 2024, at 06:21, Tim Mackinnon wrote:
>
> Asking this here as it didn’t get much traction on Discord - but with the
> move to P12, the category format in Tonel has changed from a symbol to a
> string e
Asking this here as it didn’t get much traction on Discord - but with the move
to P12, the category format in Tonel has changed from a symbol to a string e.g.
{ #category : #examples } vs { #category : 'examples' } - this causes mega
noise when submitting tiny PR's - how is everyone else handli
+ 1000
S
> On 10 May 2024, at 13:03, Tim Mackinnon wrote:
>
> Davide - why don't you submit a PR? I'm sure you can figure out how to add a
> settings to the system (can't offhand remember, but there are examples - and
> you can ask on the discord) and it would be a nice contribution to make .
Not really. Did you check in Pharo 12?
We got too busy on more important issues.
S
> On 9 May 2024, at 11:43, Davide Varvello via Pharo-users
> wrote:
>
> Hi Guys,
>
> Any news about this issue? It's happening also to me.
>
> Cheers
> Davide
>
>
>
> On Monday, January 9, 2023 at 07:03:43