marhali 38f5bcb900 fix loosing settings on IDE restart ...

Resolves #186
Resolves #164

2022-10-14 16:02:20 +02:00

..

java

fix loosing settings on IDE restart

2022-10-14 16:02:20 +02:00

resources

fix folding for html parts

2022-09-03 16:23:24 +02:00