emacs

    1

    2答えて

    私はemacsでCoqを勉強しています。私はemacsウィンドウを縦に吐き出し、左はドキュメントで、右はコード編集エリアです。 Coqプログラムを解釈すると、結果は左側のウィンドウに表示され、文書をカバーします。これは私を悩ます。 コード編集領域を水平に分割して解釈結果が右下に表示されるような方法はありますか?

    0

    1答えて

    Macには初めて! railwaycat/homebrew-emacsmacportをインストールしたところ、2つのトップバーがあることがわかりました。アプリケーションの通常のトップバーとタブ用のトップバー(それはそうです)。 私の質問は、タブを取り除くことができますか(新しいタブを作成することです)。 emacsのユーザーであるため、私は全くタブを使用していません!

    1

    1答えて

    私はelispプログラミングには本当に新しく、ハイライトされた領域の非ASCII文字をすべて削除するEmacs elisp関数を書こうとしています。ここで非ASCII文字を見つける方法のサンプルelisp関数を見つけました:https://www.emacswiki.org/emacs/FindingNonAsciiCharacters。私はそれを自分で修正しようとしましたが、動作させることができ

    2

    2答えて

    こんにちは私はneotreeで 'm'を使用してNerdtreeで使用したものと同様のオプションを与えるときにインタラクティブメニューを定義しようとしています。 私はこのキーをバインドさ: (evil-define-key 'normal neotree-mode-map ... More keybindings ... (kbd "m") 'neotree-modify-m

    0

    1答えて

    私はplantumlコードを書くたびに、固有のファイル名を付けなければなりません。しかし、我々は大規模なファイルを持っているし、チャンスは我々が2つのplantumlソースコードブロック #+begin_src plantuml :file tryout.png Alice -> Bob: synchronous 1 Alice ->> Bob: asynchronous 1 #+end_s

    0

    1答えて

    私はXMingを使ってWSLからEmacsを実行していますが、これは非常にうまくいきます。私の問題は、WindowsとWSLの間でフォルダを共有しようとするときです。 Windowsファイルシステムにあるプロジェクトの(WSLのbashで作成した)シンボリックリンク には/ mnt/WSLで 経由でコピーにアクセスし、Windowsのファイルシステムにある プロジェクト:私は次のことを試してみまし

    2

    1答えて

    マクロの使い方を理解しようとしています。私はこの問題を解決する他の方法があり、マクロが最良の答えかもしれないし、そうでないかもしれないことを知っていますが、ここでの技術的な問題を理解したいと思っています。 (setq model-names (list "goat" "alpaca" "llama")) (defun some-fn (model tag) (message "Gre

    1

    1答えて

    私はしばらくorg-mode + emacsを使用していましたが、内容を生成するのが簡単です。私はしばしば、同じ文書(最初に、Webページ、続いて、pdf文書)からhtml + pdfエクスポートコンボを使用します。私の問題は、コードブロック(#+BEGIN_SRC ...)をpdfにエクスポートすることです。 するために、HTML、exportコマンド(C-c C-e h hは)私に満足のいく解

    1

    1答えて

    私はこれらのバインディングを作った。 (define-key prog-mode-map [double-down-mouse-1] 'evil-jump-to-tag) (define-key evil-motion-state-map [down-mouse-1] nil) (define-key prog-mode-map [mouse-8] 'xref-pop-mark

    0

    1答えて

    私はemacsのバッファを切り替えようとしています。通常これはいつも何年も働いてきました。しかし、今、私はというエラーを取得しています: Symbol's function definition is void: edmacro-parse-keys を私は別のエラーの多くはGoogleについてであります参照してください。Symbol's function definition is void