RISC-V IDE MRS2使用笔记(十二):快捷配置页面

RISC-V IDE MRS2使用笔记(十二):快捷配置页面

今天给大家带来MRS2的快速配置功能分享,用户可以在一个页面内配置文件编码、界面主题等全局配置,并且支持配置项检索,整体界面如下:

打开方式:

  • 在菜单栏选择菜单项 Help> Quick Settings选项:

  • 在工具栏栏中选择如下图标:

自动弹出快速配置参数页面如下,左侧主要分为Workbench,Editor,Files,Build,Debug,Others几个方面,例如修改主题以及当前的缩放比例、显示的字体与字号等等。

同时支持搜索配置项,在输入框中输入关键字,右侧显示搜索结果。

当修改好参数后,点击"Confirm"按钮保存。

复制代码
如果需要全部选项恢复默认值的话,就点击"Restore Defaults"按钮
相关推荐
潇凝子潇9 小时前
IDEA插件
java·ide·intellij-idea
程序媛kelly9 小时前
如何打开 .md / .ipynb 文件?Markdown 与 Jupyter Notebook 本地预览全攻略
ide·python·jupyter
俊基科技10 小时前
工业实战:DA-03音频模组在智慧矿山广播与应急通信系统中的应用
嵌入式开发·数模转换·da-03
AndyHuang197610 小时前
【避坑指南】Visual Studio 插件报错 “Windows Terminal (wt.exe) was not found in PATH“ 完美解决
ide·windows·visual studio
向上的车轮11 小时前
Typora插件开发指南:打造专属IDE式写作环境
ide·typora插件
唯刻V11 小时前
你的IDE已经不认识你了
android·ide·android-studio·cli
彷徨而立11 小时前
【Visual Studio】msbuild 使用举例
ide·visual studio
lazy H11 小时前
IDEA 如何配置 JDK?项目 SDK 报错解决方法
java·ide·后端·学习·intellij-idea
OsDepK1 天前
移动编程OSMDE随时命令行进行Git
ide·git
色空大师1 天前
【debug调试详解-idea】
java·ide·intellij-idea·调试·远程调试