IntelliJ IDEA
 
获取 IntelliJ IDEA

编辑器选项卡

最后修改时间:2023年9月1日

使用此页面可以配置编辑器选项卡和选项卡标题的外观,指定它们在屏幕上的位置,并定义打开和关闭策略。