jedit

0열

2답변

Isabelle/jEdit에서 세트 이론의 기호를 입력하는 방법은 무엇입니까?

Isabelle/jEdit에 어떻게 ∈, ⊆, ∪, ∩ 같은 기호를 입력 할 수 있습니까? Isabelle/HOL 자습서에 "", "< =", "Un"및 "Int"를 입력해야한다고 나와 있습니다. 그러나 "< ="은 ≤을 제공하고 다른 기호는 전혀 기호로 변환되지 않습니다. "\ <에 >"또는 그 접두어를 입력하고 마우스로 원하는 기호를 선택하는 것만 볼

0열

1답변

하드 워드 랩 모드에서 편집 : 주석 문자를 자동으로 삽입 하시겠습니까?

아마도 틈새 질문 일지 모르지만 큰 커뮤니티의 힘을 믿습니다. jEdit을 설정하여 자동으로 주석 문자를 삽입 할 수 있습니까? (//, # ... 편집 모드에 따라 다름) 줄 바꾸기 전에 줄이 주석이라면 새 줄 시작 부분에? 샘플 : # This is a comment spanning multiple lines. If I continue to type h

0열

2답변

jedit 시스템 트레이가 표시되지 않음/jedit 창이 표시되지 않음

저는 몇 년 동안 jedit을 사용해 왔습니다. Jedit-server가 OS가 시작될 때마다 시작되도록 서버 모드로 설치했습니다 (최근이 아님). 저는 윈도우 7과 자바 1.8.0_111을 사용하고 있으며, 최근에 jedit 시스템 트레이 아이콘이 무작위로 부족한 것으로 나타났습니다. 무작위로 나는 수시로 (어쩌면 열 번 중 하나, 명백한 주기성이 없음)

1열

1답변

공백, 줄 바꿈 및 탭을 jedit에서 볼 수있게 만드는 방법

jedit로 작업하고 있는데 공백, 탭 및 줄 바꿈을 jedit에서 어떻게 볼 수 있는지 알고 싶습니다. 지금까지 동일한 버튼으로 토글 버튼을 만들었습니다. 그러나 어떤 파일을 수정해야하는지 전혀 알지 못합니다.

0열

1답변

jedit의 강조 배경 설명

jEdit (저는 열심히 vi/vim 사용자 임)을 사용하기 시작했으며 이미 어디서나 찾을 수없는 질문을 이미 접했습니다. 내 소스 코드에있는 주석을 다른 색상 (이미 가지고 있음)이 아니라 강조 표시된 배경색으로 표시하려고합니다. 불행히도 내가 현재 일하고있는 가게에는 코드를 절대 삭제하지 않고 대신 주석을 달고 추가하는 정책이 있습니다. 몇 줄의 코드로

-1열

1답변

자바 : 10 : 오류 : 기호를 찾을 수 없습니다 (jEdit 사용)

3 개월 이상 자바 코드를 사용했습니다. Intellij Idea로 시작했지만 컴퓨터에 너무 무거워서 jEdit을 사용하여 코드를 결정했습니다. 그러나 많은 소프트웨어가 Intellij의 방식으로 프로그래밍되었으므로 jedit에서 내 프로그램을 반대했습니다. W1 ejectuar = new W1 ; 그러나 jEdti에 다음 오류를 인쇄 : 나 같은 평소

2열

1답변

SuperAbbrevs 템플릿에서 jEdit 변수에 액세스

SuperAbbrevs 플러그인 템플릿 내부의 beanshell에서 jEdit 변수 (버퍼 변수 등)에 액세스하는 방법이 있는지 궁금합니다. 다음 템플릿을 확장하려고하면 오류 Attempt to resolve method: getName() on undefined variable or class name: buffer이 (가) int 작업 로그에 나타납니다

0열

1답변

내가 마지막 빈 라인의 끝에 다른 문자열까지로 시작하는 문자열을 jEdit과에서 검색을 할 필요가 정규식

를 사용하여 문자열 마지막 빈 줄에서 찾기 검색 및 바꾸기 문자열을하기 전에 모든 것을 제거하려면 (나는 굵게) ------ 실행 ------ 마지막 줄 앞에있는 줄 또는 문자열이 아닙니다. 마지막 줄 끝에서부터 문자열 시작 부분까지 찾을 수있는 정규 표현식을 제안 할 수 있습니까? ------ Running ------? 감사합니다.

0열

1답변

Jedit 편집기 ftp lastmodyfiaction 파일

j 편집 편집기 "로컬 파일 브라우저"에는 마지막 수정 열이 있습니다. 춥다! 어떻게 jEdit과 편집기에서 FTP 플러그인 원격 브라우저에서 마지막으로 수정 한 파일 열을 설정하는 방법?

1열

1답변

jar 라이브러리를 jEdit에 추가하는 방법은 무엇입니까?

SwingSets3 (BeautyEyeLNFDemo) .jar을 jEdit의 프로그램 라이브러리에 추가하고 싶습니다. 라이브러리 폴더의 jar/folder 추가를 사용하면 netbeans에서 쉽게이 작업을 수행 할 수 있습니다. 나는 폴더와 JEDIT 폴더를 프로그래밍 할 .jar 파일을 이동하려고하지만 일을 doenst. 내가 jEdit과 플러그인의 일부