The Webots preferences can be modified by a dialog box which can be open from ... The Editor font defines the font to be used in Webots text editor and in ...
確定！ 回上一頁
