Falta de opções de encaixe no JEdit?

Question

Eu recentemente reinstalei o jEdit (4.3.1 usando Java 1.6.0_18) no Ubuntu e notei que desde que eu o reinstalei, ele não tem mais menus que permitem encaixar janelas de plug-in ao redor da janela do Editor de jEdit.

(veja o plugin encaixado à esquerda na imagem abaixo)

Eupenseiqueeraumplugin,masdepoisdeverificaradocumentação,descobriocontrário.Existealgumamaneiraderecuperaressafuncionalidade?

Naimagemabaixoeuestavaesperandoummenuquelê áreadeencaixeesquerda/superior/inferior/direitaquepermitequevocêdocaajaneladoplug-incomoacima,masestáausente.

Existe alguma maneira de recuperar essa funcionalidade?

    

Answer 1

Encontrei esta pergunta há muito tempo depois que fiz a pergunta ... há um tempo atrás, encontrei a resposta, então aqui está:

Em uma janela flutuante do jEdit, no canto superior esquerdo haverá um triângulo invertido que, quando clicado, exibirá normalmente um menu com itens como "Encaixe em cima", "Encaixe em baixo", "Encaixe à esquerda", "Dock à direita"; se esses menus não aparecerem, é porque a área de encaixe foi desativada. Para ativar a área de encaixe, clique em:

View->Docking->Toggle Docking Area

Em seguida, retorne ao menu de triângulo invertido da janela flutuante, onde a opção "Doca na < direção >" menus aparecerão e permitirão que você encaixe janelas flutuantes.

    

Answer 2

Acabei de acertar o mesmo problema (no Windows, mas os mesmos sintomas). No meu caso, o problema foi causado pela seguinte linha nos arquivos perspective.xml no meu diretório .jEdit:

<VIEW PLAIN="TRUE">

Alterando para:

<VIEW PLAIN="FALSE">

resolveu o problema.

Parece que o jEdit estava criando exibições simples por padrão, e talvez o encaixe não funcione em vistas simples? (Eu estou especulando!) Eu não sei quais opções na UI fizeram minhas visões claras em primeiro lugar. Espero que alguém que conheça jEdit melhor possa fornecer uma explicação.

De qualquer forma, essa solução funcionou para mim!

    

Answer 3

Parece que não existe mais uma maneira de encaixar uma janela das janelas flutuantes.

A única maneira que conheço de acoplar janelas no jEdit é ir ao menu "Utilitários" e selecionar "Opções globais". Você pode tentar Ctrl-F12 se quiser.

No item de menu da árvore jEdit, no lado esquerdo, você verá a opção "Encaixe". A Hypersearch estará lá e, na minha experiência, qualquer outra janela que você gostaria de encaixar também aparecerá lá.

Novas instâncias flutuantes nunca parecem ter a opção de encaixar.