Define the Font type in Edit

[cicciocb]

Annex32 CAN 1.52.8 LFS

Jan

I think you have the solution to both your "problems"

[Jan Volk]

In the Editor there is a help "?" list of shortcuts.
Add all the discussed shortcuts to the list?

And I don't know what you mean by autosave to existing version?

Thank you.

Jan

[cicciocb]

About the keys, this function is still in "beta" test, this explains why it is not "really" documented.
As I didn't received any feedback, I even forgot that I implemented
Yes, I can add this to the "help" page.

About what you mean "autosave" in fact you can use several tabs on the browser and move between them.

I'll show you below :
Open the editor page like that :

image.png

then rightclick on "Output" and click on "Open link in a new tab"

image.png

Now you have another TAB "Output"

image.png

That you can open clicking on the tab

image.png

Do the same for all the tabs, like below

image.png

You can now freely pass from one tab to another one without losing your program as the editor TAB will always be present.

You can eventually open another window in parallel clicking on "Open link in a new window"

image.png

In this case you' can obtain something like that :

image.png

Does this is more clear for you?

[Jan Volk]

cicciocb,

That example is very clear. The gist of the whole story is that if a tab is open, it will not be restarted and can also serve as a reference work.
I work a lot with OpenOffice where the floppy drive(save) turns gray in color if something has changed in the document. I also had something like that in mind for Edit, but the "Save" button can also change color.
Thank you for explaining.

Jan

[EasyRider]

Thank you cicciocb for editor enhancements.
Dark background and locking font size works really well for me.

Would it be possible to have an option for different font weight if not font type.
I find current font in editing window to be almost in heavier bold type and not very sharp or clear.
To me a font weight that displays line numbers on left side is displayed sharper or clearer.