mvglasow

There is a hint when you show the configuration for an existing server, but not when you reach that page by adding a new server. Also, I'm not aware of...

In that case, I did have a fix, as another app on the device was recording a GPS trace. Also, the device was mounted on the dash of my car...

No idea why it isn’t getting picked up, just some thoughts: * I see no benefit in using `updateDistance` here: Presumably, in order to determine if we have moved beyond...

``` Error: /home/runner/work/navit/navit/navit/android/src/org/navitproject/navit/NavitTraff.java:360: Error: Value must be ≥ 0 [Range] builder.append(cursor.getString(cursor.getColumnIndex(COLUMN_DATA))).append("\n"); ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ``` Lint apparently complains because it expects to see a non-negative argument for `cursor.getString()`. Instead of a numeric...

Prompting the user and guiding him through the initial map download is probably best in terms of UX. Per-country defaults may not work for some users, so I would at...

My gut feeling tells me to stay with Mediawiki. (Same with the proposal to drop Trac in favor of Github tickets, which comes up from time to time). First off,...

@pgrandin Does the wiki currently use any of the extensions listed at https://www.mediawiki.org/wiki/Category:Spam_management_extensions? Requiring NoCaptcha for user creation and adding external links looks like an obvious solution to make spam...

Now that we have a mirror on Gitlab, we theoretically have the option of moving our wiki content there, which would change the “proprietary infrastructure” part. First question: would this...

Any news on Gitlab Pages yet? I’d really love to see Navit moving to Gitlab; especially for tickets I feel it would combine the benefits of a free and open...