Michael Bolli

Results 34 issues of Michael Bolli

- add an option `sourceDefaultSelection` (or something like that) which accepts the same values as the `source` option - a dev could then fetch a list of most commonly used...

enhancement

It would be nice if bulma-tagsinput `await`ed `emit()`.

enhancement

If anyone wants to test this, check out the `prep-php-82` branch. # v0.3 **Enhancements:** - General - PHP 8.1 is now the minimum version - Code style is checked by...

The `get` command ignores [configuration profiles](https://developer.apple.com/documentation/devicemanagement/desktop). Same applies for the `set` command, but I'm not sure if it is possible to override the profile-set wallpaper at all.

Example: https://psalm.dev/r/a03704b816 And the real code: ```php /** * Class ControllerDescriptionArray. * * @extends \ArrayObject */ class ControllerDescriptionArray extends \ArrayObject { public function offsetSet(mixed $key, mixed $value): void { if...

enhancement
easy problems
internal stubs/callmap
good first issue

Not fully tested yet, open for feedback. I tested it with a 1 GB json file with the command `python3.9 location_history_json_converter.py -f geojson -i -s 2021-05-01 Takeout/Location\ History/Location\ History.json test.geojson`...

Hi, thanks for this interesting piece of software! I'm trying to use it in a prototype, but I stumbled on something that would hopefully be easy to fix: `RouteAbstract::add()` returns...

This is an ongoing pull request for issue #21. - I had to use `dev-master` of the juliangut/mapping repo - To fix the tests, I had to add a dummy...

**Is your feature request related to a problem? Please describe.** Showing a plugin conditionally is already possible with `PluginManager.remove()` and `PluginManager.add()`. However, it is even easier to set `Plugin.position` to...