Allan Odgaard c8ab123aaf Move font name/size to theme_t ...

Since styles_for_scope effectively ignore the font parameters (and instead return styles based on the font parameters used when the cache entry was created) it is a better design to have theme_t own the font. This way, changing it can do the proper cache invalidation.

A minor downside is that we can now change the font of the theme without also changing the layout’s font, which wouldn’t cause proper layout invalidation — since layout_t owns theme_t though, users of a layout should always change font via layout_t (which will then change it in the theme).

Also, themes cannot be shared between views that wish to use different font settings.

2013-01-23 09:33:29 +01:00

..

src

Move font name/size to theme_t

2013-01-23 09:33:29 +01:00

tests

Apply default gutter theme when no theme is active

2012-10-24 21:07:21 +07:00

target

Apply default gutter theme when no theme is active

2012-10-24 21:07:21 +07:00