lukas ce1d081e16 outline active eraser pen when erasing ...

info text when no note is available

2022-11-17 12:06:53 +01:00

..

all_notes_page.dart

outline active eraser pen when erasing

2022-11-17 12:06:53 +01:00

settings_page.dart

fix merge issues

2022-11-02 23:31:44 +00:00