GNOME Text Editor
の編集
https://texwiki.texjp.org/?GNOME%20Text%20Editor
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
* GNOME Text Editor [#qb78753a] GNOME Text Editor は、シンプルで使いやすいテキストエディターです。 - https://apps.gnome.org/ja/TextEditor/ - https://gitlab.gnome.org/GNOME/gnome-text-editor -- https://gitlab.gnome.org/GNOME/gnome-text-editor/-/blob/main/build-aux/win32/build-mingw.sh - https://gitlab.gnome.org/GNOME/gtksourceview -- https://gitlab.gnome.org/GNOME/gtksourceview/-/blob/master/data/language-specs/latex.lang - https://flathub.org/ja/apps/org.gnome.TextEditor ** お知らせ [#r110cc90] GNOME 42 (2022-03-23) で標準のテキストエディターが gedit から GNOME Text Editor に変更されました。--> https://release.gnome.org/42/#new-default-apps
* GNOME Text Editor [#qb78753a] GNOME Text Editor は、シンプルで使いやすいテキストエディターです。 - https://apps.gnome.org/ja/TextEditor/ - https://gitlab.gnome.org/GNOME/gnome-text-editor -- https://gitlab.gnome.org/GNOME/gnome-text-editor/-/blob/main/build-aux/win32/build-mingw.sh - https://gitlab.gnome.org/GNOME/gtksourceview -- https://gitlab.gnome.org/GNOME/gtksourceview/-/blob/master/data/language-specs/latex.lang - https://flathub.org/ja/apps/org.gnome.TextEditor ** お知らせ [#r110cc90] GNOME 42 (2022-03-23) で標準のテキストエディターが gedit から GNOME Text Editor に変更されました。--> https://release.gnome.org/42/#new-default-apps
テキスト整形のルールを表示する
