codecamp

Lens模式以及Multicursor的使用

本节内容的组成:

  • IntelliJ IDEA “Lens”模式的使用
  • Multicursor 基本知识
  • 添加,删除和克隆插入符号
  • 复制和粘贴

IntelliJ IDEA “Lens”模式的使用

将鼠标指针悬停在滚动条之外的警告,错误条纹或滚动栏上的某些部分。IntelliJ IDEA 显示了带有警告/错误消息注释的源代码片段。

这有助于查看一个标记应用到的上下文,以及编辑器可见区域之外的源代码。

默认情况下启用此行为。

如何切换镜头模式

  1. 执行以下操作之一:
    • 打开  “设置”对话框的“外观”页面。
    • 右键单击当前编辑器顶部的代码分析标记。
  2. 选中或清除滚动条悬停时显示代码镜头的复选框。

Multicursor 基本知识

IntelliJ IDEA 支持多个插入符号。大多数编辑器操作(如键盘导航,文本插入和删除等)适用于每个插入符号。还支持实时模板和自动完成。

可以添加或删除插入符号;编辑器选项卡中至少有一个插入符号始终存在。

最近添加的插入符号被考虑 小学。插入符号的编辑器的突出显示仅适用于主要插入符号。

插入符号的位置和行为取决于:

  • 启用或禁用列选择模式。
  • 在行尾启用或禁止放置插入符号。

有关其他信息,请参阅编辑器中的 "选择文本" 部分。

添加,删除和克隆插入符号

要添加插入符号,请执行以下操作之一:

  • 按下 Shift+Alt 并点击插入符号位置处的鼠标左键。
  • 按 Ctrl(Windows 或 UNIX 中使用)/ Alt(macOS 中使用)两次,然后不释放它,按向上或向下箭头键。

根据 "允许在行尾后放置插入符号" 复选框的设置, 将新的插入添加到指定的位置:

IntelliJ IDEA如何添加插入符号


要删除插入符号,请执行以下操作之一:

  • 按 Esc 键删除所有现有的插入符号,除了主键。
  • 按下 Shift+Alt 并单击插入符号上的鼠标左键以将其删除。

要向上或向下克隆现有的插入符号,请执行以下操作之一:

  • 按 Ctrl+Shift+A,键入克隆插入符号,并从建议列表中选择所需的操作:
    IntelliJ IDEA如何克隆插入符号 

    请注意,默认情况下,这些操作不会绑定到键盘快捷方式。你可以自己完成,如配置键盘快捷键一节所述。

主要插入符号向上或向下传播:

IntelliJ IDEA插入符号的向上或向下传播


复制和粘贴

当复制具有多个光标的文本(Ctrl+C)或剪切(Ctrl+X)时,每个插入符号的选择将被放置到剪贴板。在粘贴(Ctrl+V)上,剪贴板中的文本被分割成几行。

IntelliJ IDEA如何复制和粘贴插入符号


在IntelliJ IDEA编辑器中关闭文件
IntelliJ IDEA收藏夹
温馨提示
下载编程狮App,免费阅读超1000+编程语言教程
取消
确定
目录

IntelliJ IDEA的一般准则

什么是IntelliJ IDEA项目

使用IntelliJ IDEA的意图行为

IntelliJ IDEA使用运行/调试配置

特定于VCS的程序

IntelliJ IDEA语言和特定框架指南

IntelliJ IDEA的数据库和SQL功能

IntelliJ IDEA使用之JavaServer Faces(JSF)

IntelliJ IDEA:分析PHP应用程序的性能

IntelliJ IDEA:调试PHP应用程序

IntelliJ IDEA:适用于PHP的Google App Engine

IntelliJ IDEA更多内容

关闭

MIP.setData({ 'pageTheme' : getCookie('pageTheme') || {'day':true, 'night':false}, 'pageFontSize' : getCookie('pageFontSize') || 20 }); MIP.watch('pageTheme', function(newValue){ setCookie('pageTheme', JSON.stringify(newValue)) }); MIP.watch('pageFontSize', function(newValue){ setCookie('pageFontSize', newValue) }); function setCookie(name, value){ var days = 1; var exp = new Date(); exp.setTime(exp.getTime() + days*24*60*60*1000); document.cookie = name + '=' + value + ';expires=' + exp.toUTCString(); } function getCookie(name){ var reg = new RegExp('(^| )' + name + '=([^;]*)(;|$)'); return document.cookie.match(reg) ? JSON.parse(document.cookie.match(reg)[2]) : null; }