Embora a procura de um ambiente de desenvolvimento Scala leve, deparei-me com um modo de edição Scala de jEdit. Eu não sei como colocá-lo de usar, no entanto. Como é que se colocar um novo modo de edição em jEdit?
Como faço para adicionar um modo de edição para jEdit?
votos
5
3 respostas
votos 0
0
Pode ser este Setup JEdit com Scala pode ajudá-lo?
Ele refere-se a um JEdit totalmente configurado para executar projectos Scala.
votos 0
0
Você pode copiar o arquivo scala.xml para US $ JEDIT_HOME / modos
votos 5
5
Tudo isso pode ser encontrado dentro de ajuda de jEdit, Usando jEdit -> Escrita Modos Editar -> Instalando Modos Editar. Mas, se você é como eu, e tentou StackOverflow primeiro, aqui está o curta dele.
Coloque o arquivo de modo (neste caso, scala.xml) dentro do diretório "modos" no diretório home jEdit - isso pode ser encontrado através do menu Utilities - se você quiser para todos os usuários, ou "modos" diretório configurações diretory do jEdit do usuário - que também pode ser encontrada através do menu Utilities - se o novo modo é para ser usado por apenas um usuário.
Depois disso, editar um arquivo de "catálogo" dentro daquele mesmo diretório. Ele contém uma lista de modos suportados. Se você estiver trabalhando no diretório configurações, não haverá nenhum exemplos para usar como uma referência, mas o catálogo dentro do diretório home tem abundância.
Um catálogo de diretório configurações ficaria assim, para o modo referenciados:
<?xml version="1.0"?>
<!DOCTYPE MODES SYSTEM "catalog.dtd">
<MODES>
<!-- Add lines like the following, one for each edit mode you add: -->
<!-- <MODE NAME="foo" FILE="foo.xml" FILE_NAME_GLOB="*.foo" /> -->
<MODE NAME="scala" FILE="scala.xml"
FILE_NAME_GLOB="*.scala" />
</MODES>