Michael Markl

See e.g. https://pressurejs.com/ for variable stroke width

As far as I can see, the most practical way (from user-perspective) would be, if we use Google's location service and if that's disabled, we use the system location service....

Thanks for your fast response! I just did a quick research and maybe the following resource helps: https://developers.google.com/android/reference/com/google/android/gms/location/SettingsClient I am not really into Android development, I just happen to use...

I have the notification also on version 0.9.9.53 from GPlay Store

Yes, I didn't even know podcasts existed :) ~But, I *think* I could fix my setup such that it doesn't appear anymore: My Nextcloud server had a broken IPv6 setup,...

I have already asked the question without success. I think the documentation on wiping should be improved in this regard. https://help.nextcloud.com/t/does-wipe-device-also-remove-access-to-the-device/124845/2

In my workflow, I often replace svg files (that are auto generated with my own tools). ~Currently, I always have to manually delete the generated files in the "svg-inkscape" folder...

You're right, I was not thinking about referencing external files! Maybe it is still easier to use `hash(fileName + fileContents)` instead of monitoring the modifiedDate when it comes to updating...

Offtopic: For users who want to use chromium on (K)Ubuntu anyway: My current workaround is to install chromium via linux mint's apt package. Here's a blog entry that explains how...

For anyone who is interested in a nasty workaround: I've wrapped the function `statementsRequiredToActualizeScheme` (which happens to suffer from the same problem) and filtered out unnecessary `ALTER` statements that only...