Ghostkeeper a3fe9839ba

Change all uses of 'small' and 'very small' fonts to default ...

These two fonts are exactly the same, but I want to use the 'small' font to be something a bit smaller. I'm 'removing' the superfluous font but will be re-using it immediately to look a bit smaller.

Contributes to issue CURA-5876.

2018-11-26 17:33:37 +01:00

..

resources

Change all uses of 'small' and 'very small' fonts to default

2018-11-26 17:33:37 +01:00

src

Compare SDK version as Version instances

2018-11-15 15:20:21 +01:00

__init__.py

CURA-5330 Fix code style and typing in Toolbox plugin

2018-06-13 18:22:27 +02:00

plugin.json

Increase plugin API version to 5

2018-08-27 13:59:00 +02:00