jedit

0熱度

2回答

如何在Isabelle/jEdit中輸入像∈，⊆，∪和∩這樣的符號？ Isabelle/HOL教程說，我應該輸入「：」，「< =」，「Un」和「Int」。但是，「< =」給出≤，其他符號根本不翻譯成任何符號。我到目前爲止看到的唯一選擇是輸入類似「>」中的「\ <」或其前綴，並用鼠標選擇所需的符號。但是，我想要一個僅鍵盤輸入法。

0熱度

1回答

無法選擇內置的對話圖像中伊莎貝爾/ jEdit的

這是一個後續 loading a precompiled heap image in Isabelle 現在我是在Windows上。我創建了Nominal2堆映像到標準位置： $HOME/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-cygwin 我無法在Theories面板中選擇它加載。我試圖從cygwin bash腳本啓動isabelle j

2熱度

1回答

在JEdit中查找正則表達式搜索

我不是程序員，我是書籍編輯器，需要自動執行任務。我需要能夠將我的整本書加載到程序中，在每個段落之前添加<p>，並在每個段落之後添加</p>。目前我必須閱讀和整本關於記事本的書並手動完成。圭多漢高在他的著作「電子書編程禪」描述它是這樣的：你整本書的文本複製到文本編輯器。運行正則表達式搜索並替換。我在哪裏可以在JEdit程序中進行「正則表達式搜索和替換」？是否需要安裝JEdit或安裝插件？搜

1熱度

1回答

如何在jedit中顯示空白，換行符和製表符

我正在使用jedit，並且我想知道如何在jedit中顯示空白符，製表符和換行符。到目前爲止，我已經創建了相同的切換按鈕。但沒有得到任何線索我應該修改哪個文件。

-1熱度

1回答

java：10：錯誤：無法找到符號（使用jEdit）

我已經在Java上使用了三個月的代碼。我從Intellij Idea開始，但對我的電腦來說太重了，所以我決定使用jEdit編寫代碼。但是我編寫的許多軟件都是以Intellij的方式編寫的，所以我在jEdit上運行了我的程序。像往常一樣喜歡我，我創建，調用下一堂課到像下一個方法的對象主要類： W1 ejectuar = new W1 ; 但在jEdti打印下一個錯誤： INDT.java:1

3熱度

2回答

如何在多臺計算機之間同步jEdit設置

我使用jEdit作爲文本編輯器，因爲它是跨平臺的，並具有我需要的所有功能（Java正則表達式，按鍵宏等）。但是，在新計算機上設置並同步設置（鍵盤綁定，文件保存選項等）是一件痛苦的事情。任何人都可以提出一個這樣做的好方法嗎？理想情況下，它應該在後臺同步，也許寫入Dropbox文件夾。我看了jEdit插件，看起來沒有任何東西。謝謝！

0熱度

1回答

jEdit 5.4 Windows 7安裝錯誤：認爲jEdit會話不是打開的時候不是

我一直運行jEdit 5.3約1.5年，沒有任何問題。在2017-07-03我用它，它工作正常。在2017-07-04，它不會啓動。 jedit和javaw exe的創建，但jEdit窗口沒有顯示。我卸載了5.3版本，並試圖安裝5.4版本，並得到這個錯誤：「安裝程序現在將嘗試退出正在運行的jEdit實例。請保存您的工作並退出jEdit，以便安裝繼續。當我繼續時，安裝程序凍結。如果我嘗試安

0熱度

2回答

jEdit從cyberduck啓動在mac上的FTP

我選擇的編程文本編輯器是我的Mac上的jEdit，但是我在安裝新版本時遇到問題。 Cyberduck（mac桌面FTP客戶端）曾經能夠啓動文件進行編輯。這已停止工作。它將文件下載到臨時目錄就好了。我可以打開文件，事實上FTP同步機制仍然正常工作（cyberduck檢測到文件更改並將其發回），但文件不再自動打開。 cyberduck中的'編輯'按鈕，下載，觸發jEdit獲得窗口焦點，但文件不會打

2熱度

1回答

Jedit git插件的使用

我已經安裝了JEdit的Git插件，但沒有看到如何使它工作。我目前使用SVN插件，並沒有問題，但工作是要求改變gitlab。我在哪裏設置的訪問gitlab庫，什麼是期待它作爲一個URL或SSH URI

1熱度

1回答

如何添加jar庫到jEdit？

我想將SwingSets3（BeautyEyeLNFDemo）.jar添加到jEdit中的我的程序庫中。我可以在netbeans中通過使用庫文件夾上的添加jar /文件夾輕鬆完成此操作。我嘗試移動.jar文件到程序文件夾，文件夾JEDIT但它doenst工作。我已經instaled一些jEdit的插件的，那些是： Antelope Astyle Beautifier Beauty Bu