O que significa um dígito na margem no Intellij IDEA?

Question

Acabei de migrar do Eclipse para o IDEA como a IDEA escolhida. Como venho trabalhando com o Eclipse há algum tempo e não queria aprender todos os comandos curtos novamente, decidi usar o mapeamento de teclado do Eclipse. No entanto, agora eu tenho um problema. O mapa de chaves do comentário seria

Ctrl + Barra para comentários de linha

Ctrl + Shift + Barra para comentários do grupo

No entanto, isso não funciona como esperado:

Ctrl + Barra não funciona de todo

no Ctrl + Shift + Slash, um dígito aparece na margem

No entanto, o Ctrl + NumPadSlash funciona (divide).

Este não é o caso de Ctrl + Shift + NumPadSlash, que minimiza todos os blocos (Isso é esperado, uma vez que o mapa de teclas é definido assim).

Então, a pergunta, o que significa o dígito na margem e alguém sabe como resolver isso?

Eu uso a ideia 2016.3.2, RedHat 6.6, teclado sueco (que significa que a barra é digitada como Shift + 7)

    

Answer 1

A caixa quadrada é um bookmark with mnemonic