Re: [JPP-Devel] Changing the font of feature decorations

[<edg...@we...>]

hey Jukka,

looks hardcoded, see
 https://github.com/openjump-gis/openjump/blob/2ca196d9b7986296bb616359634c37c10fc20ac9/src/com/vividsolutions/jump/workbench/ui/renderer/style/VertexIndexLineSegmentStyle.java#L59-L60

..ede

On 26.05.2021 16:17, Rahkonen Jukka (MML) wrote:
> Hi,
>
>  
>
> Some feature decorations are quite useful for debugging, for example the Vertex Index one. However, the font that is used is rather small and there there is no way to increase the font with UI. The style is saved as
>
> <style class="com.vividsolutions.jump.workbench.ui.renderer.style.VertexIndexLineSegmentStyle$VertexIndex" enabled="true" />
>
>  
>
> Is there perhaps some hidden way to define font size for this style manually?
>
>  
>
> -Jukka Rahkonen-
>
>
>
> _______________________________________________
> Jump-pilot-devel mailing list
> Jum...@li...
> https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
>