Robbert van der Helm
|
60d4490998
|
Remove unused stylesheet in gain_gui_vizia
|
2022-11-11 16:21:47 +01:00 |
|
Robbert van der Helm
|
922a81f654
|
Drop all mentions of vizia point scale
It does use pixels instead of points.
|
2022-11-11 16:21:30 +01:00 |
|
Robbert van der Helm
|
6f7780bdeb
|
Don't register any fonts by default for vizia
These now need to be registered individually by the plugin. This saves
on binary size.
|
2022-11-06 14:05:12 +01:00 |
|
Robbert van der Helm
|
89c2b1f84e
|
Replace create_vizia_editor_without_theme w/ enum
This involves a small breaking change. You can now also completely
disable all of Vizia's theming.
|
2022-11-06 14:04:55 +01:00 |
|
Robbert van der Helm
|
b7bfa5f18e
|
Update Vizia
With two months of breaking changes, hooray! But everything should still
work after some bug squashing in Vizia.
|
2022-06-18 01:59:57 +02:00 |
|
Robbert van der Helm
|
c917114020
|
Rename the gain GUI examples to match package name
|
2022-04-14 23:53:14 +02:00 |
|