David Lechner
3a66b8e053
api: add type hints for v2
...
This adds PEP 561 style type hints for Pybricks v2 (just EV3).
2020-12-28 18:47:04 -06:00
David Lechner
daeac6005e
api: media.ev3dev.Image.draw_circle: fix r arg
...
This removes the default value from the `r` parameter (this was probably copy/paste error from the `draw_box` method). The actual implementation does not have a default value.
2020-05-18 13:26:28 -05:00
David Lechner
b5159a850a
api: fix typo in Font parameter
...
script was missing a letter
2020-04-08 09:58:13 +02:00
David Lechner
87c2b6857f
api: Use leading _ to hide internals in intellisense
...
Intellisense in VS Code (both jedi and ms python language server) picks
up all imported names and suggests them with equal priority for
code completion. By adding a leading underscore, intellisense lists
these with a lower priority, so they don't get in the way.
Also rename from builtins to _common while we are touching this to
better reflect the intention of the module (it contains types shared
by multiple modules, not builtin types like int).
2020-03-25 20:24:32 +01:00
David Lechner
6ed6ec0378
api: remove empty () on class declarations
...
Python allows this syntax and some even consider it good style.
2020-03-12 12:46:09 -05:00
David Lechner
cab16f6af7
api/media/ev3dev: add Image/screen save method
...
This was overlooked previously.
2020-03-06 12:59:42 -06:00
Laurens Valk
066983a5e1
LICENSE: Update year and authors
...
Also add SPDX-License-Identifier: MIT to API source files for clarity.
2020-03-05 10:33:48 +01:00
David Lechner
df6cfa30f6
api/media.ev3dev.Image: Add default args for empty()
...
Implementation has been changed so that omitting args gives an empty
image the same size as the screen.
2020-02-21 11:01:44 -06:00
David Lechner
5231c48eda
pybricks/media/ev3dev: list known font language codes
...
This list was obtained by running fc-list on an EV3.
2020-02-15 18:18:36 -06:00
David Lechner
f16876cca9
doc/media/ev3dev/image: use substitution to disambiguate screen/image
2020-02-11 11:49:05 -06:00
David Lechner
d9089bcbae
api/media/ev3dev: update for Image API changes
2020-02-11 11:43:54 -06:00
Laurens Valk
ab6b15f047
doc/media: toggle items by category
...
Make it easier to browse the options.
2020-01-29 14:47:03 +01:00
Laurens Valk
aac25bb050
doc/media/ev3dev: fix ' in docstring
...
Also update todo note.
2020-01-27 13:07:51 +01:00
Laurens Valk
00f5b9e13b
doc/screen: simplify print doc
...
Only say what it does, not what it doesn't do.
Also delete "on the image" because this is also used for the screen.
2020-01-16 13:48:56 +01:00
David Lechner
dc82ccce40
resources renamed to media.ev3dev
2020-01-14 17:32:40 -06:00
Laurens Valk
8f4468880b
api: move sounds, images to media submodule
...
These media are platform specific and do not belong in the generic parameters module.
2019-10-31 11:11:06 +01:00
David Lechner
Laurens Valk