Change the editor font size

Source: R/fonts.R

Change the font of the editor to be specific size.

change_font_size(pt)

Arguments

pt

The font size (number) in points to change to in the editor.

Value

Examples

if (FALSE) {
change_font_size(12)
}