Powershell font size

avatar
jonathanv81
Disabled

I've created an RDM powershell session to run a script but the font size is really big compared to what I get in the normal Powershell console.
Is there a way to change it ?
Thanks,

Jonathan

All Comments (4)

avatar

Hello,

I don't think we have such parameter to change the font size. Let me check with the engineering team and will get back to you shortly.

Best regards,

Érica Poirier

avatar

I actually managed to change it by accident: I switched between two monitors and suddenly the Powershell title bar and icon were visible where I could change the properties and the font size.

It still would be nice if there was a shortcut or an easier way.

I also had some "ghosting" while scrolling through the console: the text wasn't refreshing, the next lines weren't replacing the scrolled text...

avatar

Hello,

For the ghosting behavior, could you please disable the Resize Windows option in File - Options - Tools? This should fix this issue.




Best regards,

Érica Poirier

avatar

Hello,

About the font size, it is not possible to modify it within RDM. It needs to be changed in the standard Windows PowerShell.
Here are the steps to resize the font.

1- Open Windows PowerShell (not in RDM).
2- Right-click on the window header and select Defaults. Here if you update the font size in Properties instead of Defaults, the modification will only affect the current Windows PowerShell session and will only propagate to all future sessions that will start from that PowerShell session.



3- In the Font tab, select the font size and click on OK.



4- Then, open the PowerShell (RDM CmdLet) in the Tools menu in RDM and the font size should be updated.

Best regards,

Érica Poirier