Benjamin Gervan

Results 16 issues of Benjamin Gervan

Hi, Currently the writer checks for data race with: ``` if not is_delete then -- check to make sure we don't have a data race condition local updated = {}...

question
more

The sent token was 6 digit long with fixed value. This commit contains the neccessary changes to be able to configure as we want.

Hi, I am using mapbox-navigation-android with mapsnapshotter. I would like to add the navigation layers, but it drops "invalid native peer" Sample code: ``` mapSnapshotter = MapSnapshotter( _navigationView.context, MapSnapshotter.Options(800, 400)...

archived

Added my technical blog to the list

Hello, I have created two symbol manager, with map alignment. I wanted to imitate the viewport mode, so getting the camera bearing, but with fixed camera, the bearing is changing...

Hi, did anyone try to reach api server service with cloudflared? I tried with added hostnames to https://docs.k3s.io/cli/server#listeners tls-sans, but no luck. Still getting `Unable to connect to the server:...

Hi, is there a screenshot about the icons like in the https://www.majesticons.com/ ? I see some PRs, are you update this icon set yet or kind of abandoned? Thanks.

Is there any plan to create an installable app to pypi?

Pushpin supports ZeroMQ https://pushpin.org/docs/usage/#publishing It would be great if this package can use zeroMQ between pushpin instances and the server. Maybe the https://github.com/fanout/pypubcontrol is a good base for that. Using...

Hi, Great editor, it would be awesome, if we have a preview of completed tasks progress in the notes. Resource in task extension: https://github.com/standardnotes/simple-task-editor/blob/abe68f04226f60503d59f6c71dc3a25283702ea9/app/lib/tasksManager.js#L219 ``` note.content.preview_html = this.buildHtmlPreview(); note.content.preview_plain =...