jedit

    1

    1답변

    jEdit에서는 하이퍼 검색이라고하는 작업을 수행 할 수 있습니다. 하이퍼 검색은 모든 검색 결과를 한 창에 나열하고 클릭하여 텍스트의 해당 위치로 이동할 수 있도록합니다. vim은 플러그인을 사용하거나 다른 기능을 사용합니까?

    4

    1답변

    는 가정이되도록 그들을 대괄호을 갖는 것으로 표현된다 이사벨/jEdit과에서는 그러나,이 메타 함의 화살표로 변경 한 것 : 나는 전자가 다소 표준이 아닌 이해하지만 , 내가 읽을 훨씬 쉽게 찾을 수 있습니다. 이전 ProofGeneral 스타일의 목표를 출력하도록 Isabelle/jEdit의 동작을 수정하는 방법이 있습니까?

    1

    1답변

    jEdit을 자주 사용하여 내 xml 파일을 엽니 다. 그렇게 한 번 jEdit을 사용하여 거대한 파일 (900MB 파일 크기, xyz.xml)을 열려고 시도했지만 실패했습니다. 그런 다음, jedit 텍스트 편집기로 파일 (파일 크기 < 1MB)을 열 때마다 큰 버퍼 경고 팝업이 나타납니다. 버퍼가 매우 크고 jEdit가 응답하지 않을 수 있습니다. 아무

    1

    1답변

    jEdit에서 매크로를 만들려고합니다. 모든 공백의 시작 부분에서 모든 공백을 제거하려고 시도 중입니다. 버퍼에 있습니다. textArea.goToBufferStart(false); //Set up SearchAndReplace defaults SearchAndReplace.setBeanShellReplace(false); SearchAndReplac

    1

    1답변

    이것은 간단해야하며, 자바를 배우고 있으며 jEdit을 사용하고 싶습니다. 이클립스에서는 모든 포인트 앤 클릭으로 빌드 경로 아래에 외부 라이브러리를 추가 할 수있는 옵션이 있습니다. Eclipse에서 jar에 대한 경로는/opt/andev/lib입니다. jEdit에 이식 할 때이 구문은 어디에 있습니까? 나는 수색했다 그러나 나는 daim thimk를 제

    1

    1답변

    두 개의 Ubuntu 시스템 (12.4, 10.4)에서 JEdit을 사용하고 수직 분할 창에 문제가 있습니다. 전체 JEdit 창의 크기를 조정할 때 하나의 시스템 (10.4)에서 나란히 배치 된 두 분할 창이 크기가 조정되지만 다른 시스템에서는 왼쪽 분할 창이 고정 된 크기로 유지되고 전체 창 너비에 대한 모든 변경 사항이 적용됩니다. 오른쪽 창만. 둘

    1

    1답변

    Jedit 용 플러그인 작성에 대한 지침서를 누구에게 보내 줄 수 있습니까? SAS 용 편집기로 Jedit을 사용하는 pipedream이 있습니다. 현재 구문 강조 표시를하고 있지만 생각을 더 잘 풀어서 더 잘 만들 수 있다고 생각합니다. 몇 가지 질문 : 당신이 JEDIT에서 탭 완성을 가능하게 할 수 있나요? 특정 구문으로 시작하고 끝나는 "환경"을 지

    3

    1답변

    jEdit을 사용하고 있으며 파일에 쓰고 테스트를 실행하고 싶습니다. 필자는 파일 자체가 아닌 테스트를 실행하는 프로세스에 관심이 있습니다. 그래서 나는 File.clj (defn abs [n] (if (neg? n) (- n) n)) 이 간단한 함수를 썼다 그리고 TheTest.clj (use 'clojure.test) (load-file

    0

    3답변

    을 나는 긴 텍스트 파일을 가지고 있고 다음과 유사한있는 모든 라인을 저장하려면 : Customer Code: BER17O 가 어떻게 모든을 삭제 REGEX를 사용할 수 있습니다 이 라인을 제외한 데이터? 이 regex ^(?!Customer Code: \w+$).*$ 또는와

    -1

    1답변

    문제 : 예를 lambda 변환됩니다 어떤 영어 단어가 가 영어 단어로 그리스 문자는 문자로 변환하는 문자로 변환된다 동등한 작은 그리스 문자로. 논리 및 수학 단어가 기호로 변환됩니다. 예 : 기호가 인식되지 않는 경우 and는 or는 in는 exists는 sum는 div는 top는 int는 pm 심볼 또는 작은 빈 사각형으로 변환합니다. 범위 : 윈도우