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 > Jump-pilot-devel@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel > _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
