Andrew Rogers

> Interesting! Maybe coloring tint in workspace selector too? Definitely. And I might even know how to do that now. I will have a look at it sometime soonish. I...

@tuomas2 , I think that works nicely. 

It seems that when Settings are changed via the workspace list those changes are not saved unless you manually push the Save button or click on a workspace. If you...

@tuomas2, I have done the best i can on this now. Will need assistance to take it much further. Comments in the code and I sent you an email as...

I never tried without them but I would assume it would create troubles. On Thu, 20 Jan 2022, 3:43 am Tuomas Airaksinen, ***@***.***> wrote: > ***@***.**** commented on this pull...

I have now got the Status Bar to have the same color as the toolbar. However there is a bug that I cant fix although I think it is an...

You are a purist 😉 On Thu, 24 Nov 2022, 7:52 pm Tuomas Airaksinen, ***@***.***> wrote: > @agrogers changed storing workspaceColor to > WorkspaceSettings after all. > > — >...

Interesting. I have been using my code since I published it and didn't see this. Well done on fixing it! ___________________________ *www.TenOutOfTen.org* ***@***.*** (+61) 0477 174 193 (Australia) (+95) 09...

Some good ideas there, Tim. Could the link just open the reference in the Link window like other links inside the app already do? And did you know you can...

I think I have pondered the need for an 'open something in a big window automatically' function too. Though I can't remember what it was for. On Mon, 1 Aug...