notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
Port details
setzer LaTeX editor written in Python with Gtk
0.3.4 editors on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. Version of this port present on the latest quarterly branch.
Maintainer: greg@unrelenting.technology search for ports maintained by this maintainer
Port Added: 2020-10-18 06:48:06
Last Update: 2020-10-18 07:47:58
SVN Revision: 552622
License: GPLv3+
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (992 items)
Collapse this list.
  1. @desktop-file-utils
  2. /usr/local/share/licenses/setzer-0.3.4/catalog.mk
  3. /usr/local/share/licenses/setzer-0.3.4/LICENSE
  4. /usr/local/share/licenses/setzer-0.3.4/GPLv3+
  5. bin/setzer
  6. lib/python3.7/site-packages/setzer/app/__init__.py
  7. lib/python3.7/site-packages/setzer/app/autocomplete_provider/__init__.py
  8. lib/python3.7/site-packages/setzer/app/autocomplete_provider/autocomplete_provider.py
  9. lib/python3.7/site-packages/setzer/app/font_manager.py
  10. lib/python3.7/site-packages/setzer/app/service_locator.py
  11. lib/python3.7/site-packages/setzer/app/settings.py
  12. lib/python3.7/site-packages/setzer/dialogs/__init__.py
  13. lib/python3.7/site-packages/setzer/dialogs/about/__init__.py
  14. lib/python3.7/site-packages/setzer/dialogs/about/about.py
  15. lib/python3.7/site-packages/setzer/dialogs/add_remove_packages/__init__.py
  16. lib/python3.7/site-packages/setzer/dialogs/add_remove_packages/add_remove_packages.py
  17. lib/python3.7/site-packages/setzer/dialogs/add_remove_packages/add_remove_packages_viewgtk.py
  18. lib/python3.7/site-packages/setzer/dialogs/bibtex_wizard/__init__.py
  19. lib/python3.7/site-packages/setzer/dialogs/bibtex_wizard/bibtex_wizard.py
  20. lib/python3.7/site-packages/setzer/dialogs/bibtex_wizard/bibtex_wizard_viewgtk.py
  21. lib/python3.7/site-packages/setzer/dialogs/bibtex_wizard/pages/__init__.py
  22. lib/python3.7/site-packages/setzer/dialogs/bibtex_wizard/pages/page.py
  23. lib/python3.7/site-packages/setzer/dialogs/bibtex_wizard/pages/page_create_new_entry.py
  24. lib/python3.7/site-packages/setzer/dialogs/bibtex_wizard/pages/page_fields_entry.py
  25. lib/python3.7/site-packages/setzer/dialogs/build_save/__init__.py
  26. lib/python3.7/site-packages/setzer/dialogs/build_save/build_save.py
  27. lib/python3.7/site-packages/setzer/dialogs/building_failed/__init__.py
  28. lib/python3.7/site-packages/setzer/dialogs/building_failed/building_failed.py
  29. lib/python3.7/site-packages/setzer/dialogs/close_confirmation/__init__.py
  30. lib/python3.7/site-packages/setzer/dialogs/close_confirmation/close_confirmation.py
  31. lib/python3.7/site-packages/setzer/dialogs/dialog.py
  32. lib/python3.7/site-packages/setzer/dialogs/dialog_locator.py
  33. lib/python3.7/site-packages/setzer/dialogs/document_changed_on_disk/__init__.py
  34. lib/python3.7/site-packages/setzer/dialogs/document_changed_on_disk/document_changed_on_disk.py
  35. lib/python3.7/site-packages/setzer/dialogs/document_wizard/__init__.py
  36. lib/python3.7/site-packages/setzer/dialogs/document_wizard/document_wizard.py
  37. lib/python3.7/site-packages/setzer/dialogs/document_wizard/document_wizard_viewgtk.py
  38. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/__init__.py
  39. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/page.py
  40. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/page_article_settings.py
  41. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/page_beamer_settings.py
  42. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/page_book_settings.py
  43. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/page_document_class.py
  44. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/page_general_settings.py
  45. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/page_letter_settings.py
  46. lib/python3.7/site-packages/setzer/dialogs/document_wizard/pages/page_report_settings.py
  47. lib/python3.7/site-packages/setzer/dialogs/include_bibtex_file/__init__.py
  48. lib/python3.7/site-packages/setzer/dialogs/include_bibtex_file/include_bibtex_file.py
  49. lib/python3.7/site-packages/setzer/dialogs/include_bibtex_file/include_bibtex_file_viewgtk.py
  50. lib/python3.7/site-packages/setzer/dialogs/include_latex_file/__init__.py
  51. lib/python3.7/site-packages/setzer/dialogs/include_latex_file/include_latex_file.py
  52. lib/python3.7/site-packages/setzer/dialogs/include_latex_file/include_latex_file_viewgtk.py
  53. lib/python3.7/site-packages/setzer/dialogs/interpreter_missing/__init__.py
  54. lib/python3.7/site-packages/setzer/dialogs/interpreter_missing/interpreter_missing.py
  55. lib/python3.7/site-packages/setzer/dialogs/keyboard_shortcuts/__init__.py
  56. lib/python3.7/site-packages/setzer/dialogs/keyboard_shortcuts/keyboard_shortcuts.py
  57. lib/python3.7/site-packages/setzer/dialogs/open_document/__init__.py
  58. lib/python3.7/site-packages/setzer/dialogs/open_document/open_document.py
  59. lib/python3.7/site-packages/setzer/dialogs/open_session/__init__.py
  60. lib/python3.7/site-packages/setzer/dialogs/open_session/open_session.py
  61. lib/python3.7/site-packages/setzer/dialogs/preferences/__init__.py
  62. lib/python3.7/site-packages/setzer/dialogs/preferences/pages/__init__.py
  63. lib/python3.7/site-packages/setzer/dialogs/preferences/pages/page_build_system.py
  64. lib/python3.7/site-packages/setzer/dialogs/preferences/pages/page_editor.py
  65. lib/python3.7/site-packages/setzer/dialogs/preferences/pages/page_font_color.py
  66. lib/python3.7/site-packages/setzer/dialogs/preferences/preferences.py
  67. lib/python3.7/site-packages/setzer/dialogs/preferences/preferences_viewgtk.py
  68. lib/python3.7/site-packages/setzer/dialogs/replace_confirmation/__init__.py
  69. lib/python3.7/site-packages/setzer/dialogs/replace_confirmation/replace_confirmation.py
  70. lib/python3.7/site-packages/setzer/dialogs/save_document/__init__.py
  71. lib/python3.7/site-packages/setzer/dialogs/save_document/save_document.py
  72. lib/python3.7/site-packages/setzer/dialogs/save_session/__init__.py
  73. lib/python3.7/site-packages/setzer/dialogs/save_session/save_session.py
  74. lib/python3.7/site-packages/setzer/dialogs/spellchecking/__init__.py
  75. lib/python3.7/site-packages/setzer/dialogs/spellchecking/spellchecking.py
  76. lib/python3.7/site-packages/setzer/dialogs/spellchecking_language/__init__.py
  77. lib/python3.7/site-packages/setzer/dialogs/spellchecking_language/spellchecking_language.py
  78. lib/python3.7/site-packages/setzer/document/__init__.py
  79. lib/python3.7/site-packages/setzer/document/autocomplete/__init__.py
  80. lib/python3.7/site-packages/setzer/document/autocomplete/autocomplete.py
  81. lib/python3.7/site-packages/setzer/document/autocomplete/autocomplete_viewgtk.py
  82. lib/python3.7/site-packages/setzer/document/autocomplete/session/__init__.py
  83. lib/python3.7/site-packages/setzer/document/autocomplete/session/session_begin_end.py
  84. lib/python3.7/site-packages/setzer/document/autocomplete/session/session_blank.py
  85. lib/python3.7/site-packages/setzer/document/autocomplete/session/session_default.py
  86. lib/python3.7/site-packages/setzer/document/build_system/__init__.py
  87. lib/python3.7/site-packages/setzer/document/build_system/build_system.py
  88. lib/python3.7/site-packages/setzer/document/build_system/build_system_controller.py
  89. lib/python3.7/site-packages/setzer/document/build_system/build_system_presenter.py
  90. lib/python3.7/site-packages/setzer/document/build_system/builder/__init__.py
  91. lib/python3.7/site-packages/setzer/document/build_system/builder/builder_backward_sync.py
  92. lib/python3.7/site-packages/setzer/document/build_system/builder/builder_build.py
  93. lib/python3.7/site-packages/setzer/document/build_system/builder/builder_build_biber.py
  94. lib/python3.7/site-packages/setzer/document/build_system/builder/builder_build_bibtex.py
  95. lib/python3.7/site-packages/setzer/document/build_system/builder/builder_build_glossaries.py
  96. lib/python3.7/site-packages/setzer/document/build_system/builder/builder_build_latex.py
  97. lib/python3.7/site-packages/setzer/document/build_system/builder/builder_forward_sync.py
  98. lib/python3.7/site-packages/setzer/document/build_system/query/__init__.py
  99. lib/python3.7/site-packages/setzer/document/build_system/query/query.py
  100. lib/python3.7/site-packages/setzer/document/build_widget/__init__.py
  101. lib/python3.7/site-packages/setzer/document/build_widget/build_widget.py
  102. lib/python3.7/site-packages/setzer/document/build_widget/build_widget_viewgtk.py
  103. lib/python3.7/site-packages/setzer/document/code_folding/__init__.py
  104. lib/python3.7/site-packages/setzer/document/code_folding/code_folding.py
  105. lib/python3.7/site-packages/setzer/document/code_folding/code_folding_controller.py
  106. lib/python3.7/site-packages/setzer/document/code_folding/code_folding_presenter.py
  107. lib/python3.7/site-packages/setzer/document/code_folding/code_folding_viewgtk.py
  108. lib/python3.7/site-packages/setzer/document/context_menu/__init__.py
  109. lib/python3.7/site-packages/setzer/document/context_menu/context_menu.py
  110. lib/python3.7/site-packages/setzer/document/context_menu/context_menu_controller.py
  111. lib/python3.7/site-packages/setzer/document/context_menu/context_menu_presenter.py
  112. lib/python3.7/site-packages/setzer/document/context_menu/context_menu_viewgtk.py
  113. lib/python3.7/site-packages/setzer/document/document.py
  114. lib/python3.7/site-packages/setzer/document/document_controller.py
  115. lib/python3.7/site-packages/setzer/document/document_presenter.py
  116. lib/python3.7/site-packages/setzer/document/document_switcher_item/__init__.py
  117. lib/python3.7/site-packages/setzer/document/document_switcher_item/document_switcher_item.py
  118. lib/python3.7/site-packages/setzer/document/document_switcher_item/document_switcher_item_presenter.py
  119. lib/python3.7/site-packages/setzer/document/document_switcher_item/document_switcher_item_viewgtk.py
  120. lib/python3.7/site-packages/setzer/document/document_viewgtk.py
  121. lib/python3.7/site-packages/setzer/document/parser/__init__.py
  122. lib/python3.7/site-packages/setzer/document/parser/bibtex_parser.py
  123. lib/python3.7/site-packages/setzer/document/parser/latex_parser.py
  124. lib/python3.7/site-packages/setzer/document/preview/__init__.py
  125. lib/python3.7/site-packages/setzer/document/preview/preview.py
  126. lib/python3.7/site-packages/setzer/document/preview/preview_controller.py
  127. lib/python3.7/site-packages/setzer/document/preview/preview_layouter.py
  128. lib/python3.7/site-packages/setzer/document/preview/preview_page_renderer.py
  129. lib/python3.7/site-packages/setzer/document/preview/preview_presenter.py
  130. lib/python3.7/site-packages/setzer/document/preview/preview_viewgtk.py
  131. lib/python3.7/site-packages/setzer/document/preview/zoom_widget/__init__.py
  132. lib/python3.7/site-packages/setzer/document/preview/zoom_widget/zoom_widget.py
  133. lib/python3.7/site-packages/setzer/document/preview/zoom_widget/zoom_widget_viewgtk.py
  134. lib/python3.7/site-packages/setzer/document/search/__init__.py
  135. lib/python3.7/site-packages/setzer/document/search/search.py
  136. lib/python3.7/site-packages/setzer/document/search/search_viewgtk.py
  137. lib/python3.7/site-packages/setzer/document/shortcutsbar/__init__.py
  138. lib/python3.7/site-packages/setzer/document/shortcutsbar/shortcutsbar_presenter.py
  139. lib/python3.7/site-packages/setzer/document/shortcutsbar/shortcutsbar_viewgtk.py
  140. lib/python3.7/site-packages/setzer/document/source_buffer/source_buffer.py
  141. lib/python3.7/site-packages/setzer/document/spellchecker/__init__.py
  142. lib/python3.7/site-packages/setzer/document/spellchecker/spellchecker.py
  143. lib/python3.7/site-packages/setzer/document/state_manager/__init__.py
  144. lib/python3.7/site-packages/setzer/document/state_manager/state_manager_bibtex.py
  145. lib/python3.7/site-packages/setzer/document/state_manager/state_manager_latex.py
  146. lib/python3.7/site-packages/setzer/helpers/__init__.py
  147. lib/python3.7/site-packages/setzer/helpers/observable.py
  148. lib/python3.7/site-packages/setzer/helpers/popover_menu_builder.py
  149. lib/python3.7/site-packages/setzer/helpers/timer.py
  150. lib/python3.7/site-packages/setzer/workspace/__init__.py
  151. lib/python3.7/site-packages/setzer/workspace/bibtex_shortcutsbar/__init__.py
  152. lib/python3.7/site-packages/setzer/workspace/bibtex_shortcutsbar/bibtex_shortcutsbar_viewgtk.py
  153. lib/python3.7/site-packages/setzer/workspace/build_log/__init__.py
  154. lib/python3.7/site-packages/setzer/workspace/build_log/build_log.py
  155. lib/python3.7/site-packages/setzer/workspace/build_log/build_log_controller.py
  156. lib/python3.7/site-packages/setzer/workspace/build_log/build_log_presenter.py
  157. lib/python3.7/site-packages/setzer/workspace/build_log/build_log_viewgtk.py
  158. lib/python3.7/site-packages/setzer/workspace/document_chooser/__init__.py
  159. lib/python3.7/site-packages/setzer/workspace/document_chooser/document_chooser_presenter.py
  160. lib/python3.7/site-packages/setzer/workspace/document_chooser/document_chooser_viewgtk.py
  161. lib/python3.7/site-packages/setzer/workspace/document_switcher/__init__.py
  162. lib/python3.7/site-packages/setzer/workspace/document_switcher/document_switcher.py
  163. lib/python3.7/site-packages/setzer/workspace/document_switcher/document_switcher_controller.py
  164. lib/python3.7/site-packages/setzer/workspace/document_switcher/document_switcher_presenter.py
  165. lib/python3.7/site-packages/setzer/workspace/document_switcher/document_switcher_viewgtk.py
  166. lib/python3.7/site-packages/setzer/workspace/headerbar/__init__.py
  167. lib/python3.7/site-packages/setzer/workspace/headerbar/headerbar_presenter.py
  168. lib/python3.7/site-packages/setzer/workspace/headerbar/headerbar_viewgtk.py
  169. lib/python3.7/site-packages/setzer/workspace/help_panel/__init__.py
  170. lib/python3.7/site-packages/setzer/workspace/help_panel/help_panel.py
  171. lib/python3.7/site-packages/setzer/workspace/help_panel/help_panel_controller.py
  172. lib/python3.7/site-packages/setzer/workspace/help_panel/help_panel_presenter.py
  173. lib/python3.7/site-packages/setzer/workspace/help_panel/help_panel_viewgtk.py
  174. lib/python3.7/site-packages/setzer/workspace/keyboard_shortcuts/__init__.py
  175. lib/python3.7/site-packages/setzer/workspace/keyboard_shortcuts/shortcuts.py
  176. lib/python3.7/site-packages/setzer/workspace/preview_panel/__init__.py
  177. lib/python3.7/site-packages/setzer/workspace/preview_panel/preview_panel_presenter.py
  178. lib/python3.7/site-packages/setzer/workspace/preview_panel/preview_panel_viewgtk.py
  179. lib/python3.7/site-packages/setzer/workspace/shortcutsbar/__init__.py
  180. lib/python3.7/site-packages/setzer/workspace/shortcutsbar/shortcutsbar_viewgtk.py
  181. lib/python3.7/site-packages/setzer/workspace/sidebar/__init__.py
  182. lib/python3.7/site-packages/setzer/workspace/sidebar/sidebar.py
  183. lib/python3.7/site-packages/setzer/workspace/sidebar/sidebar_viewgtk.py
  184. lib/python3.7/site-packages/setzer/workspace/workspace.py
  185. lib/python3.7/site-packages/setzer/workspace/workspace_controller.py
  186. lib/python3.7/site-packages/setzer/workspace/workspace_presenter.py
  187. lib/python3.7/site-packages/setzer/workspace/workspace_viewgtk.py
  188. man/man1/setzer.1.gz
  189. share/Setzer/resources/bibliography_styles/abbrv.png
  190. share/Setzer/resources/bibliography_styles/abbrvnat.png
  191. share/Setzer/resources/bibliography_styles/achemso.png
  192. share/Setzer/resources/bibliography_styles/alpha.png
  193. share/Setzer/resources/bibliography_styles/apalike.png
  194. share/Setzer/resources/bibliography_styles/ieeetr.png
  195. share/Setzer/resources/bibliography_styles/plain.png
  196. share/Setzer/resources/bibliography_styles/plainnat.png
  197. share/Setzer/resources/bibliography_styles/unsrtnat.png
  198. share/Setzer/resources/document_wizard/article1.svg
  199. share/Setzer/resources/document_wizard/beamer1.svg
  200. share/Setzer/resources/document_wizard/beamerpreview_AnnArbor_page_0.png
  201. share/Setzer/resources/document_wizard/beamerpreview_AnnArbor_page_1.png
  202. share/Setzer/resources/document_wizard/beamerpreview_Antibes_page_0.png
  203. share/Setzer/resources/document_wizard/beamerpreview_Antibes_page_1.png
  204. share/Setzer/resources/document_wizard/beamerpreview_Bergen_page_0.png
  205. share/Setzer/resources/document_wizard/beamerpreview_Bergen_page_1.png
  206. share/Setzer/resources/document_wizard/beamerpreview_Berkeley_page_0.png
  207. share/Setzer/resources/document_wizard/beamerpreview_Berkeley_page_1.png
  208. share/Setzer/resources/document_wizard/beamerpreview_Berlin_page_0.png
  209. share/Setzer/resources/document_wizard/beamerpreview_Berlin_page_1.png
  210. share/Setzer/resources/document_wizard/beamerpreview_Boadilla_page_0.png
  211. share/Setzer/resources/document_wizard/beamerpreview_Boadilla_page_1.png
  212. share/Setzer/resources/document_wizard/beamerpreview_CambridgeUS_page_0.png
  213. share/Setzer/resources/document_wizard/beamerpreview_CambridgeUS_page_1.png
  214. share/Setzer/resources/document_wizard/beamerpreview_Copenhagen_page_0.png
  215. share/Setzer/resources/document_wizard/beamerpreview_Copenhagen_page_1.png
  216. share/Setzer/resources/document_wizard/beamerpreview_Darmstadt_page_0.png
  217. share/Setzer/resources/document_wizard/beamerpreview_Darmstadt_page_1.png
  218. share/Setzer/resources/document_wizard/beamerpreview_Dresden_page_0.png
  219. share/Setzer/resources/document_wizard/beamerpreview_Dresden_page_1.png
  220. share/Setzer/resources/document_wizard/beamerpreview_EastLansing_page_0.png
  221. share/Setzer/resources/document_wizard/beamerpreview_EastLansing_page_1.png
  222. share/Setzer/resources/document_wizard/beamerpreview_Frankfurt_page_0.png
  223. share/Setzer/resources/document_wizard/beamerpreview_Frankfurt_page_1.png
  224. share/Setzer/resources/document_wizard/beamerpreview_Goettingen_page_0.png
  225. share/Setzer/resources/document_wizard/beamerpreview_Goettingen_page_1.png
  226. share/Setzer/resources/document_wizard/beamerpreview_Hannover_page_0.png
  227. share/Setzer/resources/document_wizard/beamerpreview_Hannover_page_1.png
  228. share/Setzer/resources/document_wizard/beamerpreview_Ilmenau_page_0.png
  229. share/Setzer/resources/document_wizard/beamerpreview_Ilmenau_page_1.png
  230. share/Setzer/resources/document_wizard/beamerpreview_JuanLesPins_page_0.png
  231. share/Setzer/resources/document_wizard/beamerpreview_JuanLesPins_page_1.png
  232. share/Setzer/resources/document_wizard/beamerpreview_Luebeck_page_0.png
  233. share/Setzer/resources/document_wizard/beamerpreview_Luebeck_page_1.png
  234. share/Setzer/resources/document_wizard/beamerpreview_Madrid_page_0.png
  235. share/Setzer/resources/document_wizard/beamerpreview_Madrid_page_1.png
  236. share/Setzer/resources/document_wizard/beamerpreview_Malmoe_page_0.png
  237. share/Setzer/resources/document_wizard/beamerpreview_Malmoe_page_1.png
  238. share/Setzer/resources/document_wizard/beamerpreview_Marburg_page_0.png
  239. share/Setzer/resources/document_wizard/beamerpreview_Marburg_page_1.png
  240. share/Setzer/resources/document_wizard/beamerpreview_Montpellier_page_0.png
  241. share/Setzer/resources/document_wizard/beamerpreview_Montpellier_page_1.png
  242. share/Setzer/resources/document_wizard/beamerpreview_PaloAlto_page_0.png
  243. share/Setzer/resources/document_wizard/beamerpreview_PaloAlto_page_1.png
  244. share/Setzer/resources/document_wizard/beamerpreview_Pittsburgh_page_0.png
  245. share/Setzer/resources/document_wizard/beamerpreview_Pittsburgh_page_1.png
  246. share/Setzer/resources/document_wizard/beamerpreview_Rochester_page_0.png
  247. share/Setzer/resources/document_wizard/beamerpreview_Rochester_page_1.png
  248. share/Setzer/resources/document_wizard/beamerpreview_Singapore_page_0.png
  249. share/Setzer/resources/document_wizard/beamerpreview_Singapore_page_1.png
  250. share/Setzer/resources/document_wizard/beamerpreview_Szeged_page_0.png
  251. share/Setzer/resources/document_wizard/beamerpreview_Szeged_page_1.png
  252. share/Setzer/resources/document_wizard/beamerpreview_Warsaw_page_0.png
  253. share/Setzer/resources/document_wizard/beamerpreview_Warsaw_page_1.png
  254. share/Setzer/resources/document_wizard/beamerpreview_default_page_0.png
  255. share/Setzer/resources/document_wizard/beamerpreview_default_page_1.png
  256. share/Setzer/resources/document_wizard/book1.svg
  257. share/Setzer/resources/document_wizard/letter1.svg
  258. share/Setzer/resources/document_wizard/report1.svg
  259. share/Setzer/resources/gtksourceview/language-specs/Makefile.am
  260. share/Setzer/resources/gtksourceview/language-specs/R.lang
  261. share/Setzer/resources/gtksourceview/language-specs/bibtex.lang
  262. share/Setzer/resources/gtksourceview/language-specs/def.lang
  263. share/Setzer/resources/gtksourceview/language-specs/lang_v1_to_v2.xslt
  264. share/Setzer/resources/gtksourceview/language-specs/language-specs.its
  265. share/Setzer/resources/gtksourceview/language-specs/language-specs.pot
  266. share/Setzer/resources/gtksourceview/language-specs/language.dtd
  267. share/Setzer/resources/gtksourceview/language-specs/language.rng
  268. share/Setzer/resources/gtksourceview/language-specs/language2.rng
  269. share/Setzer/resources/gtksourceview/language-specs/latex.lang
  270. share/Setzer/resources/gtksourceview/styles/default-dark.xml
  271. share/Setzer/resources/gtksourceview/styles/default.xml
  272. share/Setzer/resources/help/images/external-link.png
  273. share/Setzer/resources/help/latex2e-figures/list.png
  274. share/Setzer/resources/help/latex2e_0.html
  275. share/Setzer/resources/help/latex2e_1.html
  276. share/Setzer/resources/help/latex2e_10.html
  277. share/Setzer/resources/help/latex2e_11.html
  278. share/Setzer/resources/help/latex2e_12.html
  279. share/Setzer/resources/help/latex2e_13.html
  280. share/Setzer/resources/help/latex2e_14.html
  281. share/Setzer/resources/help/latex2e_15.html
  282. share/Setzer/resources/help/latex2e_16.html
  283. share/Setzer/resources/help/latex2e_17.html
  284. share/Setzer/resources/help/latex2e_18.html
  285. share/Setzer/resources/help/latex2e_19.html
  286. share/Setzer/resources/help/latex2e_2.html
  287. share/Setzer/resources/help/latex2e_20.html
  288. share/Setzer/resources/help/latex2e_21.html
  289. share/Setzer/resources/help/latex2e_22.html
  290. share/Setzer/resources/help/latex2e_23.html
  291. share/Setzer/resources/help/latex2e_24.html
  292. share/Setzer/resources/help/latex2e_25.html
  293. share/Setzer/resources/help/latex2e_26.html
  294. share/Setzer/resources/help/latex2e_27.html
  295. share/Setzer/resources/help/latex2e_28.html
  296. share/Setzer/resources/help/latex2e_29.html
  297. share/Setzer/resources/help/latex2e_3.html
  298. share/Setzer/resources/help/latex2e_30.html
  299. share/Setzer/resources/help/latex2e_4.html
  300. share/Setzer/resources/help/latex2e_5.html
  301. share/Setzer/resources/help/latex2e_6.html
  302. share/Setzer/resources/help/latex2e_7.html
  303. share/Setzer/resources/help/latex2e_8.html
  304. share/Setzer/resources/help/latex2e_9.html
  305. share/Setzer/resources/help/search_index.pickle
  306. share/Setzer/resources/icons/hicolor/scalable/actions/brush-symbolic.svg
  307. share/Setzer/resources/icons/hicolor/scalable/actions/build-log-symbolic.svg
  308. share/Setzer/resources/icons/hicolor/scalable/actions/builder-build-symbolic.svg
  309. share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-bottom-pane-symbolic.svg
  310. share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-left-pane-symbolic.svg
  311. share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-right-pane-symbolic.svg
  312. share/Setzer/resources/icons/hicolor/scalable/actions/document-new-symbolic.svg
  313. share/Setzer/resources/icons/hicolor/scalable/actions/external-viewer-symbolic.svg
  314. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-1-symbolic.svg
  315. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-10-symbolic.svg
  316. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-2-symbolic.svg
  317. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-3-symbolic.svg
  318. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-4-symbolic.svg
  319. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-5-symbolic.svg
  320. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-6-symbolic.svg
  321. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-7-symbolic.svg
  322. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-8-symbolic.svg
  323. share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-9-symbolic.svg
  324. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-1-symbolic.svg
  325. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-10-symbolic.svg
  326. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-2-symbolic.svg
  327. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-3-symbolic.svg
  328. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-4-symbolic.svg
  329. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-5-symbolic.svg
  330. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-6-symbolic.svg
  331. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-7-symbolic.svg
  332. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-8-symbolic.svg
  333. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-9-symbolic.svg
  334. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-1-symbolic.svg
  335. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-2-symbolic.svg
  336. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-3-symbolic.svg
  337. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-4-symbolic.svg
  338. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-5-symbolic.svg
  339. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-6-symbolic.svg
  340. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-7-symbolic.svg
  341. share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-8-symbolic.svg
  342. share/Setzer/resources/icons/hicolor/scalable/actions/own-badbox-symbolic.svg
  343. share/Setzer/resources/icons/hicolor/scalable/actions/own-folded-symbolic.svg
  344. share/Setzer/resources/icons/hicolor/scalable/actions/own-insert-object-symbolic.svg
  345. share/Setzer/resources/icons/hicolor/scalable/actions/own-math-menu-symbolic.svg
  346. share/Setzer/resources/icons/hicolor/scalable/actions/own-no-folding-symbolic.svg
  347. share/Setzer/resources/icons/hicolor/scalable/actions/own-no-preview-symbolic.svg
  348. share/Setzer/resources/icons/hicolor/scalable/actions/own-quotes-symbolic.svg
  349. share/Setzer/resources/icons/hicolor/scalable/actions/own-quotes.svg
  350. share/Setzer/resources/icons/hicolor/scalable/actions/own-searchandreplacearrow-symbolic.svg
  351. share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-arrows-symbolic.svg
  352. share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-delimiters-symbolic.svg
  353. share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-greek-letters-symbolic.svg
  354. share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-misc-math-symbolic.svg
  355. share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-misc-text-symbolic.svg
  356. share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-operators-symbolic.svg
  357. share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-relations-symbolic.svg
  358. share/Setzer/resources/icons/hicolor/scalable/actions/own-unfolded-symbolic.svg
  359. share/Setzer/resources/icons/hicolor/scalable/actions/own-wizard-symbolic.svg
  360. share/Setzer/resources/icons/hicolor/scalable/actions/text-symbolic.svg
  361. share/Setzer/resources/icons/hicolor/scalable/actions/view-list-ordered-symbolic.svg
  362. share/Setzer/resources/icons/hicolor/scalable/actions/view-paged-symbolic.svg
  363. share/Setzer/resources/latexdb/commands/additional.xml
  364. share/Setzer/resources/latexdb/commands/amsbsy.xml
  365. share/Setzer/resources/latexdb/commands/amsfonts.xml
  366. share/Setzer/resources/latexdb/commands/amsmath.xml
  367. share/Setzer/resources/latexdb/commands/amsopn.xml
  368. share/Setzer/resources/latexdb/commands/amssymb.xml
  369. share/Setzer/resources/latexdb/commands/amsthm.xml
  370. share/Setzer/resources/latexdb/commands/color.xml
  371. share/Setzer/resources/latexdb/commands/geometry.xml
  372. share/Setzer/resources/latexdb/commands/graphicx.xml
  373. share/Setzer/resources/latexdb/commands/latex-dev.xml
  374. share/Setzer/resources/latexdb/commands/latex-document.xml
  375. share/Setzer/resources/latexdb/commands/tex.xml
  376. share/Setzer/resources/latexdb/commands/textcomp.xml
  377. share/Setzer/resources/latexdb/commands/url.xml
  378. share/Setzer/resources/latexdb/packages/general.xml
  379. share/Setzer/resources/style_gtk.css
  380. share/Setzer/resources/symbols/arrows.xml
  381. share/Setzer/resources/symbols/arrows/sidebar-Downarrow-symbolic.svg
  382. share/Setzer/resources/symbols/arrows/sidebar-Leftarrow-symbolic.svg
  383. share/Setzer/resources/symbols/arrows/sidebar-Leftrightarrow-symbolic.svg
  384. share/Setzer/resources/symbols/arrows/sidebar-Lleftarrow-symbolic.svg
  385. share/Setzer/resources/symbols/arrows/sidebar-Longleftarrow-symbolic.svg
  386. share/Setzer/resources/symbols/arrows/sidebar-Longleftrightarrow-symbolic.svg
  387. share/Setzer/resources/symbols/arrows/sidebar-Longrightarrow-symbolic.svg
  388. share/Setzer/resources/symbols/arrows/sidebar-Lsh-symbolic.svg
  389. share/Setzer/resources/symbols/arrows/sidebar-Rightarrow-symbolic.svg
  390. share/Setzer/resources/symbols/arrows/sidebar-Rsh-symbolic.svg
  391. share/Setzer/resources/symbols/arrows/sidebar-Uparrow-symbolic.svg
  392. share/Setzer/resources/symbols/arrows/sidebar-Updownarrow-symbolic.svg
  393. share/Setzer/resources/symbols/arrows/sidebar-circlearrowleft-symbolic.svg
  394. share/Setzer/resources/symbols/arrows/sidebar-circlearrowright-symbolic.svg
  395. share/Setzer/resources/symbols/arrows/sidebar-curvearrowleft-symbolic.svg
  396. share/Setzer/resources/symbols/arrows/sidebar-curvearrowright-symbolic.svg
  397. share/Setzer/resources/symbols/arrows/sidebar-dashleftarrow-symbolic.svg
  398. share/Setzer/resources/symbols/arrows/sidebar-dashrightarrow-symbolic.svg
  399. share/Setzer/resources/symbols/arrows/sidebar-downarrow-symbolic.svg
  400. share/Setzer/resources/symbols/arrows/sidebar-downdownarrows-symbolic.svg
  401. share/Setzer/resources/symbols/arrows/sidebar-downharpoonleft-symbolic.svg
  402. share/Setzer/resources/symbols/arrows/sidebar-downharpoonright-symbolic.svg
  403. share/Setzer/resources/symbols/arrows/sidebar-hookleftarrow-symbolic.svg
  404. share/Setzer/resources/symbols/arrows/sidebar-hookrightarrow-symbolic.svg
  405. share/Setzer/resources/symbols/arrows/sidebar-leftarrow-symbolic.svg
  406. share/Setzer/resources/symbols/arrows/sidebar-leftarrowtail-symbolic.svg
  407. share/Setzer/resources/symbols/arrows/sidebar-leftharpoondown-symbolic.svg
  408. share/Setzer/resources/symbols/arrows/sidebar-leftharpoonup-symbolic.svg
  409. share/Setzer/resources/symbols/arrows/sidebar-leftleftarrows-symbolic.svg
  410. share/Setzer/resources/symbols/arrows/sidebar-leftrightarrow-symbolic.svg
  411. share/Setzer/resources/symbols/arrows/sidebar-leftrightarrows-symbolic.svg
  412. share/Setzer/resources/symbols/arrows/sidebar-leftrightharpoons-symbolic.svg
  413. share/Setzer/resources/symbols/arrows/sidebar-leftrightsquigarrow-symbolic.svg
  414. share/Setzer/resources/symbols/arrows/sidebar-longleftarrow-symbolic.svg
  415. share/Setzer/resources/symbols/arrows/sidebar-longleftrightarrow-symbolic.svg
  416. share/Setzer/resources/symbols/arrows/sidebar-longmapsto-symbolic.svg
  417. share/Setzer/resources/symbols/arrows/sidebar-longrightarrow-symbolic.svg
  418. share/Setzer/resources/symbols/arrows/sidebar-looparrowleft-symbolic.svg
  419. share/Setzer/resources/symbols/arrows/sidebar-looparrowright-symbolic.svg
  420. share/Setzer/resources/symbols/arrows/sidebar-mapsto-symbolic.svg
  421. share/Setzer/resources/symbols/arrows/sidebar-nLeftarrow-symbolic.svg
  422. share/Setzer/resources/symbols/arrows/sidebar-nLeftrightarrow-symbolic.svg
  423. share/Setzer/resources/symbols/arrows/sidebar-nRightarrow-symbolic.svg
  424. share/Setzer/resources/symbols/arrows/sidebar-nearrow-symbolic.svg
  425. share/Setzer/resources/symbols/arrows/sidebar-nleftarrow-symbolic.svg
  426. share/Setzer/resources/symbols/arrows/sidebar-nleftrightarrow-symbolic.svg
  427. share/Setzer/resources/symbols/arrows/sidebar-nrightarrow-symbolic.svg
  428. share/Setzer/resources/symbols/arrows/sidebar-nwarrow-symbolic.svg
  429. share/Setzer/resources/symbols/arrows/sidebar-rightarrow-symbolic.svg
  430. share/Setzer/resources/symbols/arrows/sidebar-rightarrowtail-symbolic.svg
  431. share/Setzer/resources/symbols/arrows/sidebar-rightharpoondown-symbolic.svg
  432. share/Setzer/resources/symbols/arrows/sidebar-rightharpoonup-symbolic.svg
  433. share/Setzer/resources/symbols/arrows/sidebar-rightleftarrows-symbolic.svg
  434. share/Setzer/resources/symbols/arrows/sidebar-rightleftharpoons-symbolic.svg
  435. share/Setzer/resources/symbols/arrows/sidebar-rightrightarrows-symbolic.svg
  436. share/Setzer/resources/symbols/arrows/sidebar-rightsquigarrow-symbolic.svg
  437. share/Setzer/resources/symbols/arrows/sidebar-searrow-symbolic.svg
  438. share/Setzer/resources/symbols/arrows/sidebar-swarrow-symbolic.svg
  439. share/Setzer/resources/symbols/arrows/sidebar-twoheadleftarrow-symbolic.svg
  440. share/Setzer/resources/symbols/arrows/sidebar-twoheadrightarrow-symbolic.svg
  441. share/Setzer/resources/symbols/arrows/sidebar-uparrow-symbolic.svg
  442. share/Setzer/resources/symbols/arrows/sidebar-updownarrow-symbolic.svg
  443. share/Setzer/resources/symbols/arrows/sidebar-upharpoonleft-symbolic.svg
  444. share/Setzer/resources/symbols/arrows/sidebar-upharpoonright-symbolic.svg
  445. share/Setzer/resources/symbols/arrows/sidebar-upuparrows-symbolic.svg
  446. share/Setzer/resources/symbols/greek_letters.xml
  447. share/Setzer/resources/symbols/greek_letters/sidebar-Delta-symbolic.svg
  448. share/Setzer/resources/symbols/greek_letters/sidebar-Gamma-symbolic.svg
  449. share/Setzer/resources/symbols/greek_letters/sidebar-Lambda-symbolic.svg
  450. share/Setzer/resources/symbols/greek_letters/sidebar-Omega-symbolic.svg
  451. share/Setzer/resources/symbols/greek_letters/sidebar-Phi-symbolic.svg
  452. share/Setzer/resources/symbols/greek_letters/sidebar-Pi-symbolic.svg
  453. share/Setzer/resources/symbols/greek_letters/sidebar-Psi-symbolic.svg
  454. share/Setzer/resources/symbols/greek_letters/sidebar-Sigma-symbolic.svg
  455. share/Setzer/resources/symbols/greek_letters/sidebar-Theta-symbolic.svg
  456. share/Setzer/resources/symbols/greek_letters/sidebar-Upsilon-symbolic.svg
  457. share/Setzer/resources/symbols/greek_letters/sidebar-Xi-symbolic.svg
  458. share/Setzer/resources/symbols/greek_letters/sidebar-alpha-symbolic.svg
  459. share/Setzer/resources/symbols/greek_letters/sidebar-beta-symbolic.svg
  460. share/Setzer/resources/symbols/greek_letters/sidebar-chi-symbolic.svg
  461. share/Setzer/resources/symbols/greek_letters/sidebar-delta-symbolic.svg
  462. share/Setzer/resources/symbols/greek_letters/sidebar-epsilon-symbolic.svg
  463. share/Setzer/resources/symbols/greek_letters/sidebar-eta-symbolic.svg
  464. share/Setzer/resources/symbols/greek_letters/sidebar-gamma-symbolic.svg
  465. share/Setzer/resources/symbols/greek_letters/sidebar-iota-symbolic.svg
  466. share/Setzer/resources/symbols/greek_letters/sidebar-kappa-symbolic.svg
  467. share/Setzer/resources/symbols/greek_letters/sidebar-lambda-symbolic.svg
  468. share/Setzer/resources/symbols/greek_letters/sidebar-mu-symbolic.svg
  469. share/Setzer/resources/symbols/greek_letters/sidebar-nu-symbolic.svg
  470. share/Setzer/resources/symbols/greek_letters/sidebar-omega-symbolic.svg
  471. share/Setzer/resources/symbols/greek_letters/sidebar-phi-symbolic.svg
  472. share/Setzer/resources/symbols/greek_letters/sidebar-pi-symbolic.svg
  473. share/Setzer/resources/symbols/greek_letters/sidebar-psi-symbolic.svg
  474. share/Setzer/resources/symbols/greek_letters/sidebar-rho-symbolic.svg
  475. share/Setzer/resources/symbols/greek_letters/sidebar-sigma-symbolic.svg
  476. share/Setzer/resources/symbols/greek_letters/sidebar-tau-symbolic.svg
  477. share/Setzer/resources/symbols/greek_letters/sidebar-theta-symbolic.svg
  478. share/Setzer/resources/symbols/greek_letters/sidebar-upsilon-symbolic.svg
  479. share/Setzer/resources/symbols/greek_letters/sidebar-varDelta-symbolic.svg
  480. share/Setzer/resources/symbols/greek_letters/sidebar-varGamma-symbolic.svg
  481. share/Setzer/resources/symbols/greek_letters/sidebar-varLambda-symbolic.svg
  482. share/Setzer/resources/symbols/greek_letters/sidebar-varOmega-symbolic.svg
  483. share/Setzer/resources/symbols/greek_letters/sidebar-varPhi-symbolic.svg
  484. share/Setzer/resources/symbols/greek_letters/sidebar-varPi-symbolic.svg
  485. share/Setzer/resources/symbols/greek_letters/sidebar-varPsi-symbolic.svg
  486. share/Setzer/resources/symbols/greek_letters/sidebar-varSigma-symbolic.svg
  487. share/Setzer/resources/symbols/greek_letters/sidebar-varTheta-symbolic.svg
  488. share/Setzer/resources/symbols/greek_letters/sidebar-varUpsilon-symbolic.svg
  489. share/Setzer/resources/symbols/greek_letters/sidebar-varXi-symbolic.svg
  490. share/Setzer/resources/symbols/greek_letters/sidebar-varepsilon-symbolic.svg
  491. share/Setzer/resources/symbols/greek_letters/sidebar-varphi-symbolic.svg
  492. share/Setzer/resources/symbols/greek_letters/sidebar-varpi-symbolic.svg
  493. share/Setzer/resources/symbols/greek_letters/sidebar-varrho-symbolic.svg
  494. share/Setzer/resources/symbols/greek_letters/sidebar-varsigma-symbolic.svg
  495. share/Setzer/resources/symbols/greek_letters/sidebar-vartheta-symbolic.svg
  496. share/Setzer/resources/symbols/greek_letters/sidebar-xi-symbolic.svg
  497. share/Setzer/resources/symbols/greek_letters/sidebar-zeta-symbolic.svg
  498. share/Setzer/resources/symbols/misc_math.xml
  499. share/Setzer/resources/symbols/misc_math/sidebar-Bbbk-symbolic.svg
  500. share/Setzer/resources/symbols/misc_math/sidebar-Box-symbolic.svg
  501. share/Setzer/resources/symbols/misc_math/sidebar-Diamond-symbolic.svg
  502. share/Setzer/resources/symbols/misc_math/sidebar-Finv-symbolic.svg
  503. share/Setzer/resources/symbols/misc_math/sidebar-Game-symbolic.svg
  504. share/Setzer/resources/symbols/misc_math/sidebar-Im-symbolic.svg
  505. share/Setzer/resources/symbols/misc_math/sidebar-Re-symbolic.svg
  506. share/Setzer/resources/symbols/misc_math/sidebar-acute-symbolic.svg
  507. share/Setzer/resources/symbols/misc_math/sidebar-aleph-symbolic.svg
  508. share/Setzer/resources/symbols/misc_math/sidebar-angle-symbolic.svg
  509. share/Setzer/resources/symbols/misc_math/sidebar-backprime-symbolic.svg
  510. share/Setzer/resources/symbols/misc_math/sidebar-backslash-symbolic.svg
  511. share/Setzer/resources/symbols/misc_math/sidebar-bar-symbolic.svg
  512. share/Setzer/resources/symbols/misc_math/sidebar-bigstar-symbolic.svg
  513. share/Setzer/resources/symbols/misc_math/sidebar-blacklozenge-symbolic.svg
  514. share/Setzer/resources/symbols/misc_math/sidebar-blacksquare-symbolic.svg
  515. share/Setzer/resources/symbols/misc_math/sidebar-blacktriangle-symbolic.svg
  516. share/Setzer/resources/symbols/misc_math/sidebar-blacktriangledown-symbolic.svg
  517. share/Setzer/resources/symbols/misc_math/sidebar-bot-symbolic.svg
  518. share/Setzer/resources/symbols/misc_math/sidebar-breve-symbolic.svg
  519. share/Setzer/resources/symbols/misc_math/sidebar-cdotp-symbolic.svg
  520. share/Setzer/resources/symbols/misc_math/sidebar-cdots-symbolic.svg
  521. share/Setzer/resources/symbols/misc_math/sidebar-check-symbolic.svg
  522. share/Setzer/resources/symbols/misc_math/sidebar-circledR-symbolic.svg
  523. share/Setzer/resources/symbols/misc_math/sidebar-circledS-symbolic.svg
  524. share/Setzer/resources/symbols/misc_math/sidebar-clubsuit-symbolic.svg
  525. share/Setzer/resources/symbols/misc_math/sidebar-colon-symbolic.svg
  526. share/Setzer/resources/symbols/misc_math/sidebar-complement-symbolic.svg
  527. share/Setzer/resources/symbols/misc_math/sidebar-ddddot-symbolic.svg
  528. share/Setzer/resources/symbols/misc_math/sidebar-dddot-symbolic.svg
  529. share/Setzer/resources/symbols/misc_math/sidebar-ddot-symbolic.svg
  530. share/Setzer/resources/symbols/misc_math/sidebar-ddots-symbolic.svg
  531. share/Setzer/resources/symbols/misc_math/sidebar-diagdown-symbolic.svg
  532. share/Setzer/resources/symbols/misc_math/sidebar-diagup-symbolic.svg
  533. share/Setzer/resources/symbols/misc_math/sidebar-diamondsuit-symbolic.svg
  534. share/Setzer/resources/symbols/misc_math/sidebar-dot-symbolic.svg
  535. share/Setzer/resources/symbols/misc_math/sidebar-ell-symbolic.svg
  536. share/Setzer/resources/symbols/misc_math/sidebar-emptyset-symbolic.svg
  537. share/Setzer/resources/symbols/misc_math/sidebar-eth-symbolic.svg
  538. share/Setzer/resources/symbols/misc_math/sidebar-exists-symbolic.svg
  539. share/Setzer/resources/symbols/misc_math/sidebar-f1-symbolic.svg
  540. share/Setzer/resources/symbols/misc_math/sidebar-f2-symbolic.svg
  541. share/Setzer/resources/symbols/misc_math/sidebar-flat-symbolic.svg
  542. share/Setzer/resources/symbols/misc_math/sidebar-forall-symbolic.svg
  543. share/Setzer/resources/symbols/misc_math/sidebar-grave-symbolic.svg
  544. share/Setzer/resources/symbols/misc_math/sidebar-hat-symbolic.svg
  545. share/Setzer/resources/symbols/misc_math/sidebar-hbar-symbolic.svg
  546. share/Setzer/resources/symbols/misc_math/sidebar-heartsuit-symbolic.svg
  547. share/Setzer/resources/symbols/misc_math/sidebar-hslash-symbolic.svg
  548. share/Setzer/resources/symbols/misc_math/sidebar-imath-symbolic.svg
  549. share/Setzer/resources/symbols/misc_math/sidebar-in-symbolic.svg
  550. share/Setzer/resources/symbols/misc_math/sidebar-infty-symbolic.svg
  551. share/Setzer/resources/symbols/misc_math/sidebar-jmath-symbolic.svg
  552. share/Setzer/resources/symbols/misc_math/sidebar-ldotp-symbolic.svg
  553. share/Setzer/resources/symbols/misc_math/sidebar-ldots-symbolic.svg
  554. share/Setzer/resources/symbols/misc_math/sidebar-lozenge-symbolic.svg
  555. share/Setzer/resources/symbols/misc_math/sidebar-mathbbC-symbolic.svg
  556. share/Setzer/resources/symbols/misc_math/sidebar-mathbbI-symbolic.svg
  557. share/Setzer/resources/symbols/misc_math/sidebar-mathbbN-symbolic.svg
  558. share/Setzer/resources/symbols/misc_math/sidebar-mathbbQ-symbolic.svg
  559. share/Setzer/resources/symbols/misc_math/sidebar-mathbbR-symbolic.svg
  560. share/Setzer/resources/symbols/misc_math/sidebar-mathbbZ-symbolic.svg
  561. share/Setzer/resources/symbols/misc_math/sidebar-mathring-symbolic.svg
  562. share/Setzer/resources/symbols/misc_math/sidebar-measuredangle-symbolic.svg
  563. share/Setzer/resources/symbols/misc_math/sidebar-mho-symbolic.svg
  564. share/Setzer/resources/symbols/misc_math/sidebar-nabla-symbolic.svg
  565. share/Setzer/resources/symbols/misc_math/sidebar-natural-symbolic.svg
  566. share/Setzer/resources/symbols/misc_math/sidebar-neg-symbolic.svg
  567. share/Setzer/resources/symbols/misc_math/sidebar-nexists-symbolic.svg
  568. share/Setzer/resources/symbols/misc_math/sidebar-ni-symbolic.svg
  569. share/Setzer/resources/symbols/misc_math/sidebar-notin-symbolic.svg
  570. share/Setzer/resources/symbols/misc_math/sidebar-overbrace-symbolic.svg
  571. share/Setzer/resources/symbols/misc_math/sidebar-overleftarrow-symbolic.svg
  572. share/Setzer/resources/symbols/misc_math/sidebar-overleftrightarrow-symbolic.svg
  573. share/Setzer/resources/symbols/misc_math/sidebar-overline-symbolic.svg
  574. share/Setzer/resources/symbols/misc_math/sidebar-overrightarrow-symbolic.svg
  575. share/Setzer/resources/symbols/misc_math/sidebar-partial-symbolic.svg
  576. share/Setzer/resources/symbols/misc_math/sidebar-prime-symbolic.svg
  577. share/Setzer/resources/symbols/misc_math/sidebar-sharp-symbolic.svg
  578. share/Setzer/resources/symbols/misc_math/sidebar-spadesuit-symbolic.svg
  579. share/Setzer/resources/symbols/misc_math/sidebar-sphericalangle-symbolic.svg
  580. share/Setzer/resources/symbols/misc_math/sidebar-sqrt-symbolic.svg
  581. share/Setzer/resources/symbols/misc_math/sidebar-square-symbolic.svg
  582. share/Setzer/resources/symbols/misc_math/sidebar-stackrel-symbolic.svg
  583. share/Setzer/resources/symbols/misc_math/sidebar-surd-symbolic.svg
  584. share/Setzer/resources/symbols/misc_math/sidebar-tilde-symbolic.svg
  585. share/Setzer/resources/symbols/misc_math/sidebar-top-symbolic.svg
  586. share/Setzer/resources/symbols/misc_math/sidebar-triangle-symbolic.svg
  587. share/Setzer/resources/symbols/misc_math/sidebar-triangledown-symbolic.svg
  588. share/Setzer/resources/symbols/misc_math/sidebar-underbrace-symbolic.svg
  589. share/Setzer/resources/symbols/misc_math/sidebar-underleftarrow-symbolic.svg
  590. share/Setzer/resources/symbols/misc_math/sidebar-underleftrightarrow-symbolic.svg
  591. share/Setzer/resources/symbols/misc_math/sidebar-underline-symbolic.svg
  592. share/Setzer/resources/symbols/misc_math/sidebar-underrightarrow-symbolic.svg
  593. share/Setzer/resources/symbols/misc_math/sidebar-varnothing-symbolic.svg
  594. share/Setzer/resources/symbols/misc_math/sidebar-vartriangle-symbolic.svg
  595. share/Setzer/resources/symbols/misc_math/sidebar-vdots-symbolic.svg
  596. share/Setzer/resources/symbols/misc_math/sidebar-vec-symbolic.svg
  597. share/Setzer/resources/symbols/misc_math/sidebar-widehat-symbolic.svg
  598. share/Setzer/resources/symbols/misc_math/sidebar-widetilde-symbolic.svg
  599. share/Setzer/resources/symbols/misc_math/sidebar-wp-symbolic.svg
  600. share/Setzer/resources/symbols/misc_math/sidebar-xleftarrow-symbolic.svg
  601. share/Setzer/resources/symbols/misc_math/sidebar-xrightarrow-symbolic.svg
  602. share/Setzer/resources/symbols/misc_text.xml
  603. share/Setzer/resources/symbols/misc_text/sidebar-CheckedBox-symbolic.svg
  604. share/Setzer/resources/symbols/misc_text/sidebar-Cutleft-symbolic.svg
  605. share/Setzer/resources/symbols/misc_text/sidebar-Cutline-symbolic.svg
  606. share/Setzer/resources/symbols/misc_text/sidebar-Cutright-symbolic.svg
  607. share/Setzer/resources/symbols/misc_text/sidebar-Kutline-symbolic.svg
  608. share/Setzer/resources/symbols/misc_text/sidebar-Leftscissors-symbolic.svg
  609. share/Setzer/resources/symbols/misc_text/sidebar-Rightscissors-symbolic.svg
  610. share/Setzer/resources/symbols/misc_text/sidebar-S-symbolic.svg
  611. share/Setzer/resources/symbols/misc_text/sidebar-Square-symbolic.svg
  612. share/Setzer/resources/symbols/misc_text/sidebar-XBox-symbolic.svg
  613. share/Setzer/resources/symbols/misc_text/sidebar-backslash-symbolic.svg
  614. share/Setzer/resources/symbols/misc_text/sidebar-bracevert-symbolic.svg
  615. share/Setzer/resources/symbols/misc_text/sidebar-cbracketl-symbolic.svg
  616. share/Setzer/resources/symbols/misc_text/sidebar-cbracketr-symbolic.svg
  617. share/Setzer/resources/symbols/misc_text/sidebar-checkmark-symbolic.svg
  618. share/Setzer/resources/symbols/misc_text/sidebar-dag-symbolic.svg
  619. share/Setzer/resources/symbols/misc_text/sidebar-ddag-symbolic.svg
  620. share/Setzer/resources/symbols/misc_text/sidebar-dollar-symbolic.svg
  621. share/Setzer/resources/symbols/misc_text/sidebar-dots-symbolic.svg
  622. share/Setzer/resources/symbols/misc_text/sidebar-dvertical-symbolic.svg
  623. share/Setzer/resources/symbols/misc_text/sidebar-geneuro-symbolic.svg
  624. share/Setzer/resources/symbols/misc_text/sidebar-geneuronarrow-symbolic.svg
  625. share/Setzer/resources/symbols/misc_text/sidebar-geneurowide-symbolic.svg
  626. share/Setzer/resources/symbols/misc_text/sidebar-langle-symbolic.svg
  627. share/Setzer/resources/symbols/misc_text/sidebar-lceil-symbolic.svg
  628. share/Setzer/resources/symbols/misc_text/sidebar-lfloor-symbolic.svg
  629. share/Setzer/resources/symbols/misc_text/sidebar-llcorner-symbolic.svg
  630. share/Setzer/resources/symbols/misc_text/sidebar-lrcorner-symbolic.svg
  631. share/Setzer/resources/symbols/misc_text/sidebar-maltese-symbolic.svg
  632. share/Setzer/resources/symbols/misc_text/sidebar-officialeuro-symbolic.svg
  633. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums0-symbolic.svg
  634. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums1-symbolic.svg
  635. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums2-symbolic.svg
  636. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums3-symbolic.svg
  637. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums4-symbolic.svg
  638. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums5-symbolic.svg
  639. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums6-symbolic.svg
  640. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums7-symbolic.svg
  641. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums8-symbolic.svg
  642. share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums9-symbolic.svg
  643. share/Setzer/resources/symbols/misc_text/sidebar-pounds-symbolic.svg
  644. share/Setzer/resources/symbols/misc_text/sidebar-rangle-symbolic.svg
  645. share/Setzer/resources/symbols/misc_text/sidebar-rbracketl-symbolic.svg
  646. share/Setzer/resources/symbols/misc_text/sidebar-rbracketr-symbolic.svg
  647. share/Setzer/resources/symbols/misc_text/sidebar-rceil-symbolic.svg
  648. share/Setzer/resources/symbols/misc_text/sidebar-rfloor-symbolic.svg
  649. share/Setzer/resources/symbols/misc_text/sidebar-sbracketl-symbolic.svg
  650. share/Setzer/resources/symbols/misc_text/sidebar-sbracketr-symbolic.svg
  651. share/Setzer/resources/symbols/misc_text/sidebar-slash-symbolic.svg
  652. share/Setzer/resources/symbols/misc_text/sidebar-textacutedbl-symbolic.svg
  653. share/Setzer/resources/symbols/misc_text/sidebar-textasciiacute-symbolic.svg
  654. share/Setzer/resources/symbols/misc_text/sidebar-textasciibreve-symbolic.svg
  655. share/Setzer/resources/symbols/misc_text/sidebar-textasciicaron-symbolic.svg
  656. share/Setzer/resources/symbols/misc_text/sidebar-textasciicircum-symbolic.svg
  657. share/Setzer/resources/symbols/misc_text/sidebar-textasciidieresis-symbolic.svg
  658. share/Setzer/resources/symbols/misc_text/sidebar-textasciigrave-symbolic.svg
  659. share/Setzer/resources/symbols/misc_text/sidebar-textasciimacron-symbolic.svg
  660. share/Setzer/resources/symbols/misc_text/sidebar-textasciitilde-symbolic.svg
  661. share/Setzer/resources/symbols/misc_text/sidebar-textasteriskcentered-symbolic.svg
  662. share/Setzer/resources/symbols/misc_text/sidebar-textbackslash-symbolic.svg
  663. share/Setzer/resources/symbols/misc_text/sidebar-textbaht-symbolic.svg
  664. share/Setzer/resources/symbols/misc_text/sidebar-textbar-symbolic.svg
  665. share/Setzer/resources/symbols/misc_text/sidebar-textbardbl-symbolic.svg
  666. share/Setzer/resources/symbols/misc_text/sidebar-textbigcircle-symbolic.svg
  667. share/Setzer/resources/symbols/misc_text/sidebar-textblank-symbolic.svg
  668. share/Setzer/resources/symbols/misc_text/sidebar-textborn-symbolic.svg
  669. share/Setzer/resources/symbols/misc_text/sidebar-textbrokenbar-symbolic.svg
  670. share/Setzer/resources/symbols/misc_text/sidebar-textbullet-symbolic.svg
  671. share/Setzer/resources/symbols/misc_text/sidebar-textcelsius-symbolic.svg
  672. share/Setzer/resources/symbols/misc_text/sidebar-textcent-symbolic.svg
  673. share/Setzer/resources/symbols/misc_text/sidebar-textcentoldstyle-symbolic.svg
  674. share/Setzer/resources/symbols/misc_text/sidebar-textcircleda-symbolic.svg
  675. share/Setzer/resources/symbols/misc_text/sidebar-textcolonmonetary-symbolic.svg
  676. share/Setzer/resources/symbols/misc_text/sidebar-textcopyleft-symbolic.svg
  677. share/Setzer/resources/symbols/misc_text/sidebar-textcopyright-symbolic.svg
  678. share/Setzer/resources/symbols/misc_text/sidebar-textcurrency-symbolic.svg
  679. share/Setzer/resources/symbols/misc_text/sidebar-textdblhyphen-symbolic.svg
  680. share/Setzer/resources/symbols/misc_text/sidebar-textdblhyphenchar-symbolic.svg
  681. share/Setzer/resources/symbols/misc_text/sidebar-textdegree-symbolic.svg
  682. share/Setzer/resources/symbols/misc_text/sidebar-textdied-symbolic.svg
  683. share/Setzer/resources/symbols/misc_text/sidebar-textdiscount-symbolic.svg
  684. share/Setzer/resources/symbols/misc_text/sidebar-textdiv-symbolic.svg
  685. share/Setzer/resources/symbols/misc_text/sidebar-textdivorced-symbolic.svg
  686. share/Setzer/resources/symbols/misc_text/sidebar-textdollar-symbolic.svg
  687. share/Setzer/resources/symbols/misc_text/sidebar-textdollaroldstyle-symbolic.svg
  688. share/Setzer/resources/symbols/misc_text/sidebar-textdong-symbolic.svg
  689. share/Setzer/resources/symbols/misc_text/sidebar-textdownarrow-symbolic.svg
  690. share/Setzer/resources/symbols/misc_text/sidebar-textemdash-symbolic.svg
  691. share/Setzer/resources/symbols/misc_text/sidebar-textendash-symbolic.svg
  692. share/Setzer/resources/symbols/misc_text/sidebar-textestimated-symbolic.svg
  693. share/Setzer/resources/symbols/misc_text/sidebar-texteuro-symbolic.svg
  694. share/Setzer/resources/symbols/misc_text/sidebar-textexclamdown-symbolic.svg
  695. share/Setzer/resources/symbols/misc_text/sidebar-textflorin-symbolic.svg
  696. share/Setzer/resources/symbols/misc_text/sidebar-textfractionsolidus-symbolic.svg
  697. share/Setzer/resources/symbols/misc_text/sidebar-textgravedbl-symbolic.svg
  698. share/Setzer/resources/symbols/misc_text/sidebar-textgreater-symbolic.svg
  699. share/Setzer/resources/symbols/misc_text/sidebar-textguarani-symbolic.svg
  700. share/Setzer/resources/symbols/misc_text/sidebar-textinterrobang-symbolic.svg
  701. share/Setzer/resources/symbols/misc_text/sidebar-textinterrobangdown-symbolic.svg
  702. share/Setzer/resources/symbols/misc_text/sidebar-textlangle-symbolic.svg
  703. share/Setzer/resources/symbols/misc_text/sidebar-textlbrackdbl-symbolic.svg
  704. share/Setzer/resources/symbols/misc_text/sidebar-textleaf-symbolic.svg
  705. share/Setzer/resources/symbols/misc_text/sidebar-textleftarrow-symbolic.svg
  706. share/Setzer/resources/symbols/misc_text/sidebar-textless-symbolic.svg
  707. share/Setzer/resources/symbols/misc_text/sidebar-textlira-symbolic.svg
  708. share/Setzer/resources/symbols/misc_text/sidebar-textlnot-symbolic.svg
  709. share/Setzer/resources/symbols/misc_text/sidebar-textlquill-symbolic.svg
  710. share/Setzer/resources/symbols/misc_text/sidebar-textmarried-symbolic.svg
  711. share/Setzer/resources/symbols/misc_text/sidebar-textmho-symbolic.svg
  712. share/Setzer/resources/symbols/misc_text/sidebar-textminus-symbolic.svg
  713. share/Setzer/resources/symbols/misc_text/sidebar-textmu-symbolic.svg
  714. share/Setzer/resources/symbols/misc_text/sidebar-textmusicalnote-symbolic.svg
  715. share/Setzer/resources/symbols/misc_text/sidebar-textnaira-symbolic.svg
  716. share/Setzer/resources/symbols/misc_text/sidebar-textnumero-symbolic.svg
  717. share/Setzer/resources/symbols/misc_text/sidebar-textohm-symbolic.svg
  718. share/Setzer/resources/symbols/misc_text/sidebar-textonehalf-symbolic.svg
  719. share/Setzer/resources/symbols/misc_text/sidebar-textonequarter-symbolic.svg
  720. share/Setzer/resources/symbols/misc_text/sidebar-textonesuperior-symbolic.svg
  721. share/Setzer/resources/symbols/misc_text/sidebar-textopenbullet-symbolic.svg
  722. share/Setzer/resources/symbols/misc_text/sidebar-textordfeminine-symbolic.svg
  723. share/Setzer/resources/symbols/misc_text/sidebar-textordmasculine-symbolic.svg
  724. share/Setzer/resources/symbols/misc_text/sidebar-textperiodcentered-symbolic.svg
  725. share/Setzer/resources/symbols/misc_text/sidebar-textpertenthousand-symbolic.svg
  726. share/Setzer/resources/symbols/misc_text/sidebar-textperthousand-symbolic.svg
  727. share/Setzer/resources/symbols/misc_text/sidebar-textpeso-symbolic.svg
  728. share/Setzer/resources/symbols/misc_text/sidebar-textpilcrow-symbolic.svg
  729. share/Setzer/resources/symbols/misc_text/sidebar-textpm-symbolic.svg
  730. share/Setzer/resources/symbols/misc_text/sidebar-textquestiondown-symbolic.svg
  731. share/Setzer/resources/symbols/misc_text/sidebar-textquotedblleft-symbolic.svg
  732. share/Setzer/resources/symbols/misc_text/sidebar-textquotedblright-symbolic.svg
  733. share/Setzer/resources/symbols/misc_text/sidebar-textquoteleft-symbolic.svg
  734. share/Setzer/resources/symbols/misc_text/sidebar-textquoteright-symbolic.svg
  735. share/Setzer/resources/symbols/misc_text/sidebar-textquotesingle-symbolic.svg
  736. share/Setzer/resources/symbols/misc_text/sidebar-textquotestraightbase-symbolic.svg
  737. share/Setzer/resources/symbols/misc_text/sidebar-textquotestraightdblbase-symbolic.svg
  738. share/Setzer/resources/symbols/misc_text/sidebar-textrangle-symbolic.svg
  739. share/Setzer/resources/symbols/misc_text/sidebar-textrbrackdbl-symbolic.svg
  740. share/Setzer/resources/symbols/misc_text/sidebar-textrecipe-symbolic.svg
  741. share/Setzer/resources/symbols/misc_text/sidebar-textreferencemark-symbolic.svg
  742. share/Setzer/resources/symbols/misc_text/sidebar-textregistered-symbolic.svg
  743. share/Setzer/resources/symbols/misc_text/sidebar-textrightarrow-symbolic.svg
  744. share/Setzer/resources/symbols/misc_text/sidebar-textrquill-symbolic.svg
  745. share/Setzer/resources/symbols/misc_text/sidebar-textservicemark-symbolic.svg
  746. share/Setzer/resources/symbols/misc_text/sidebar-textsurd-symbolic.svg
  747. share/Setzer/resources/symbols/misc_text/sidebar-textthreequarters-symbolic.svg
  748. share/Setzer/resources/symbols/misc_text/sidebar-textthreequartersemdash-symbolic.svg
  749. share/Setzer/resources/symbols/misc_text/sidebar-textthreesuperior-symbolic.svg
  750. share/Setzer/resources/symbols/misc_text/sidebar-texttildelow-symbolic.svg
  751. share/Setzer/resources/symbols/misc_text/sidebar-texttimes-symbolic.svg
  752. share/Setzer/resources/symbols/misc_text/sidebar-texttrademark-symbolic.svg
  753. share/Setzer/resources/symbols/misc_text/sidebar-texttwelveudash-symbolic.svg
  754. share/Setzer/resources/symbols/misc_text/sidebar-texttwosuperior-symbolic.svg
  755. share/Setzer/resources/symbols/misc_text/sidebar-textuparrow-symbolic.svg
  756. share/Setzer/resources/symbols/misc_text/sidebar-textvisiblespace-symbolic.svg
  757. share/Setzer/resources/symbols/misc_text/sidebar-textwon-symbolic.svg
  758. share/Setzer/resources/symbols/misc_text/sidebar-textyen-symbolic.svg
  759. share/Setzer/resources/symbols/misc_text/sidebar-ulcorner-symbolic.svg
  760. share/Setzer/resources/symbols/misc_text/sidebar-underscore-symbolic.svg
  761. share/Setzer/resources/symbols/misc_text/sidebar-urcorner-symbolic.svg
  762. share/Setzer/resources/symbols/misc_text/sidebar-vertical-symbolic.svg
  763. share/Setzer/resources/symbols/operators.xml
  764. share/Setzer/resources/symbols/operators/sidebar-Cap-symbolic.svg
  765. share/Setzer/resources/symbols/operators/sidebar-Cup-symbolic.svg
  766. share/Setzer/resources/symbols/operators/sidebar-amalg-symbolic.svg
  767. share/Setzer/resources/symbols/operators/sidebar-ast-symbolic.svg
  768. share/Setzer/resources/symbols/operators/sidebar-barwedge-symbolic.svg
  769. share/Setzer/resources/symbols/operators/sidebar-bigcap-symbolic.svg
  770. share/Setzer/resources/symbols/operators/sidebar-bigcirc-symbolic.svg
  771. share/Setzer/resources/symbols/operators/sidebar-bigcup-symbolic.svg
  772. share/Setzer/resources/symbols/operators/sidebar-bigodot-symbolic.svg
  773. share/Setzer/resources/symbols/operators/sidebar-bigoplus-symbolic.svg
  774. share/Setzer/resources/symbols/operators/sidebar-bigotimes-symbolic.svg
  775. share/Setzer/resources/symbols/operators/sidebar-bigsqcup-symbolic.svg
  776. share/Setzer/resources/symbols/operators/sidebar-bigtriangledown-symbolic.svg
  777. share/Setzer/resources/symbols/operators/sidebar-bigtriangleup-symbolic.svg
  778. share/Setzer/resources/symbols/operators/sidebar-biguplus-symbolic.svg
  779. share/Setzer/resources/symbols/operators/sidebar-bigvee-symbolic.svg
  780. share/Setzer/resources/symbols/operators/sidebar-bigwedge-symbolic.svg
  781. share/Setzer/resources/symbols/operators/sidebar-boxdot-symbolic.svg
  782. share/Setzer/resources/symbols/operators/sidebar-boxminus-symbolic.svg
  783. share/Setzer/resources/symbols/operators/sidebar-boxplus-symbolic.svg
  784. share/Setzer/resources/symbols/operators/sidebar-boxtimes-symbolic.svg
  785. share/Setzer/resources/symbols/operators/sidebar-bullet-symbolic.svg
  786. share/Setzer/resources/symbols/operators/sidebar-cap-symbolic.svg
  787. share/Setzer/resources/symbols/operators/sidebar-cdot-symbolic.svg
  788. share/Setzer/resources/symbols/operators/sidebar-circ-symbolic.svg
  789. share/Setzer/resources/symbols/operators/sidebar-circledast-symbolic.svg
  790. share/Setzer/resources/symbols/operators/sidebar-circledcirc-symbolic.svg
  791. share/Setzer/resources/symbols/operators/sidebar-circleddash-symbolic.svg
  792. share/Setzer/resources/symbols/operators/sidebar-coprod-symbolic.svg
  793. share/Setzer/resources/symbols/operators/sidebar-cup-symbolic.svg
  794. share/Setzer/resources/symbols/operators/sidebar-curlyvee-symbolic.svg
  795. share/Setzer/resources/symbols/operators/sidebar-curlywedge-symbolic.svg
  796. share/Setzer/resources/symbols/operators/sidebar-dagger-symbolic.svg
  797. share/Setzer/resources/symbols/operators/sidebar-ddagger-symbolic.svg
  798. share/Setzer/resources/symbols/operators/sidebar-diamond-symbolic.svg
  799. share/Setzer/resources/symbols/operators/sidebar-div-symbolic.svg
  800. share/Setzer/resources/symbols/operators/sidebar-divideontimes-symbolic.svg
  801. share/Setzer/resources/symbols/operators/sidebar-dotplus-symbolic.svg
  802. share/Setzer/resources/symbols/operators/sidebar-doublebarwedge-symbolic.svg
  803. share/Setzer/resources/symbols/operators/sidebar-idotsint-symbolic.svg
  804. share/Setzer/resources/symbols/operators/sidebar-iiiint-symbolic.svg
  805. share/Setzer/resources/symbols/operators/sidebar-iiint-symbolic.svg
  806. share/Setzer/resources/symbols/operators/sidebar-iint-symbolic.svg
  807. share/Setzer/resources/symbols/operators/sidebar-int-symbolic.svg
  808. share/Setzer/resources/symbols/operators/sidebar-intercal-symbolic.svg
  809. share/Setzer/resources/symbols/operators/sidebar-leftthreetimes-symbolic.svg
  810. share/Setzer/resources/symbols/operators/sidebar-lhd-symbolic.svg
  811. share/Setzer/resources/symbols/operators/sidebar-ltimes-symbolic.svg
  812. share/Setzer/resources/symbols/operators/sidebar-mp-symbolic.svg
  813. share/Setzer/resources/symbols/operators/sidebar-odot-symbolic.svg
  814. share/Setzer/resources/symbols/operators/sidebar-oint-symbolic.svg
  815. share/Setzer/resources/symbols/operators/sidebar-ominus-symbolic.svg
  816. share/Setzer/resources/symbols/operators/sidebar-oplus-symbolic.svg
  817. share/Setzer/resources/symbols/operators/sidebar-oslash-symbolic.svg
  818. share/Setzer/resources/symbols/operators/sidebar-otimes-symbolic.svg
  819. share/Setzer/resources/symbols/operators/sidebar-pm-symbolic.svg
  820. share/Setzer/resources/symbols/operators/sidebar-prod-symbolic.svg
  821. share/Setzer/resources/symbols/operators/sidebar-rhd-symbolic.svg
  822. share/Setzer/resources/symbols/operators/sidebar-rightthreetimes-symbolic.svg
  823. share/Setzer/resources/symbols/operators/sidebar-rtimes-symbolic.svg
  824. share/Setzer/resources/symbols/operators/sidebar-setminus-symbolic.svg
  825. share/Setzer/resources/symbols/operators/sidebar-smallsetminus-symbolic.svg
  826. share/Setzer/resources/symbols/operators/sidebar-sqcap-symbolic.svg
  827. share/Setzer/resources/symbols/operators/sidebar-sqcup-symbolic.svg
  828. share/Setzer/resources/symbols/operators/sidebar-star-symbolic.svg
  829. share/Setzer/resources/symbols/operators/sidebar-sum-symbolic.svg
  830. share/Setzer/resources/symbols/operators/sidebar-times-symbolic.svg
  831. share/Setzer/resources/symbols/operators/sidebar-triangleleft-symbolic.svg
  832. share/Setzer/resources/symbols/operators/sidebar-triangleright-symbolic.svg
  833. share/Setzer/resources/symbols/operators/sidebar-unlhd-symbolic.svg
  834. share/Setzer/resources/symbols/operators/sidebar-unrhd-symbolic.svg
  835. share/Setzer/resources/symbols/operators/sidebar-uplus-symbolic.svg
  836. share/Setzer/resources/symbols/operators/sidebar-varinjlim-symbolic.svg
  837. share/Setzer/resources/symbols/operators/sidebar-varliminf-symbolic.svg
  838. share/Setzer/resources/symbols/operators/sidebar-varlimsup-symbolic.svg
  839. share/Setzer/resources/symbols/operators/sidebar-varprojlim-symbolic.svg
  840. share/Setzer/resources/symbols/operators/sidebar-vee-symbolic.svg
  841. share/Setzer/resources/symbols/operators/sidebar-veebar-symbolic.svg
  842. share/Setzer/resources/symbols/operators/sidebar-wedge-symbolic.svg
  843. share/Setzer/resources/symbols/operators/sidebar-wr-symbolic.svg
  844. share/Setzer/resources/symbols/relations.xml
  845. share/Setzer/resources/symbols/relations/sidebar-Join-symbolic.svg
  846. share/Setzer/resources/symbols/relations/sidebar-Subset-symbolic.svg
  847. share/Setzer/resources/symbols/relations/sidebar-Supset-symbolic.svg
  848. share/Setzer/resources/symbols/relations/sidebar-Vdash-symbolic.svg
  849. share/Setzer/resources/symbols/relations/sidebar-Vvdash-symbolic.svg
  850. share/Setzer/resources/symbols/relations/sidebar-approx-symbolic.svg
  851. share/Setzer/resources/symbols/relations/sidebar-approxeq-symbolic.svg
  852. share/Setzer/resources/symbols/relations/sidebar-asymp-symbolic.svg
  853. share/Setzer/resources/symbols/relations/sidebar-backepsilon-symbolic.svg
  854. share/Setzer/resources/symbols/relations/sidebar-backsimeq-symbolic.svg
  855. share/Setzer/resources/symbols/relations/sidebar-because-symbolic.svg
  856. share/Setzer/resources/symbols/relations/sidebar-between-symbolic.svg
  857. share/Setzer/resources/symbols/relations/sidebar-blacktriangleleft-symbolic.svg
  858. share/Setzer/resources/symbols/relations/sidebar-blacktriangleright-symbolic.svg
  859. share/Setzer/resources/symbols/relations/sidebar-bowtie-symbolic.svg
  860. share/Setzer/resources/symbols/relations/sidebar-cong-symbolic.svg
  861. share/Setzer/resources/symbols/relations/sidebar-curlyeqprec-symbolic.svg
  862. share/Setzer/resources/symbols/relations/sidebar-curlyeqsucc-symbolic.svg
  863. share/Setzer/resources/symbols/relations/sidebar-dashv-symbolic.svg
  864. share/Setzer/resources/symbols/relations/sidebar-eqslantgtr-symbolic.svg
  865. share/Setzer/resources/symbols/relations/sidebar-eqslantless-symbolic.svg
  866. share/Setzer/resources/symbols/relations/sidebar-equals-symbolic.svg
  867. share/Setzer/resources/symbols/relations/sidebar-equiv-symbolic.svg
  868. share/Setzer/resources/symbols/relations/sidebar-frown-symbolic.svg
  869. share/Setzer/resources/symbols/relations/sidebar-geq-symbolic.svg
  870. share/Setzer/resources/symbols/relations/sidebar-geqq-symbolic.svg
  871. share/Setzer/resources/symbols/relations/sidebar-geqslant-symbolic.svg
  872. share/Setzer/resources/symbols/relations/sidebar-gg-symbolic.svg
  873. share/Setzer/resources/symbols/relations/sidebar-ggg-symbolic.svg
  874. share/Setzer/resources/symbols/relations/sidebar-gnapprox-symbolic.svg
  875. share/Setzer/resources/symbols/relations/sidebar-gneq-symbolic.svg
  876. share/Setzer/resources/symbols/relations/sidebar-gneqq-symbolic.svg
  877. share/Setzer/resources/symbols/relations/sidebar-gnsim-symbolic.svg
  878. share/Setzer/resources/symbols/relations/sidebar-gt-symbolic.svg
  879. share/Setzer/resources/symbols/relations/sidebar-gtrapprox-symbolic.svg
  880. share/Setzer/resources/symbols/relations/sidebar-gtrdot-symbolic.svg
  881. share/Setzer/resources/symbols/relations/sidebar-gtreqless-symbolic.svg
  882. share/Setzer/resources/symbols/relations/sidebar-gtreqqless-symbolic.svg
  883. share/Setzer/resources/symbols/relations/sidebar-gtrless-symbolic.svg
  884. share/Setzer/resources/symbols/relations/sidebar-gtrsim-symbolic.svg
  885. share/Setzer/resources/symbols/relations/sidebar-gvertneqq-symbolic.svg
  886. share/Setzer/resources/symbols/relations/sidebar-leq-symbolic.svg
  887. share/Setzer/resources/symbols/relations/sidebar-leqq-symbolic.svg
  888. share/Setzer/resources/symbols/relations/sidebar-leqslant-symbolic.svg
  889. share/Setzer/resources/symbols/relations/sidebar-lessapprox-symbolic.svg
  890. share/Setzer/resources/symbols/relations/sidebar-lessdot-symbolic.svg
  891. share/Setzer/resources/symbols/relations/sidebar-lesseqgtr-symbolic.svg
  892. share/Setzer/resources/symbols/relations/sidebar-lesseqqgtr-symbolic.svg
  893. share/Setzer/resources/symbols/relations/sidebar-lessgtr-symbolic.svg
  894. share/Setzer/resources/symbols/relations/sidebar-lesssim-symbolic.svg
  895. share/Setzer/resources/symbols/relations/sidebar-ll-symbolic.svg
  896. share/Setzer/resources/symbols/relations/sidebar-lll-symbolic.svg
  897. share/Setzer/resources/symbols/relations/sidebar-lnapprox-symbolic.svg
  898. share/Setzer/resources/symbols/relations/sidebar-lneq-symbolic.svg
  899. share/Setzer/resources/symbols/relations/sidebar-lneqq-symbolic.svg
  900. share/Setzer/resources/symbols/relations/sidebar-lnsim-symbolic.svg
  901. share/Setzer/resources/symbols/relations/sidebar-lt-symbolic.svg
  902. share/Setzer/resources/symbols/relations/sidebar-lvertneqq-symbolic.svg
  903. share/Setzer/resources/symbols/relations/sidebar-mid-symbolic.svg
  904. share/Setzer/resources/symbols/relations/sidebar-models-symbolic.svg
  905. share/Setzer/resources/symbols/relations/sidebar-multimap-symbolic.svg
  906. share/Setzer/resources/symbols/relations/sidebar-nVDash-symbolic.svg
  907. share/Setzer/resources/symbols/relations/sidebar-ncong-symbolic.svg
  908. share/Setzer/resources/symbols/relations/sidebar-neq-symbolic.svg
  909. share/Setzer/resources/symbols/relations/sidebar-ngeq-symbolic.svg
  910. share/Setzer/resources/symbols/relations/sidebar-ngeqq-symbolic.svg
  911. share/Setzer/resources/symbols/relations/sidebar-ngeqslant-symbolic.svg
  912. share/Setzer/resources/symbols/relations/sidebar-ngtr-symbolic.svg
  913. share/Setzer/resources/symbols/relations/sidebar-nleq-symbolic.svg
  914. share/Setzer/resources/symbols/relations/sidebar-nleqq-symbolic.svg
  915. share/Setzer/resources/symbols/relations/sidebar-nleqslant-symbolic.svg
  916. share/Setzer/resources/symbols/relations/sidebar-nless-symbolic.svg
  917. share/Setzer/resources/symbols/relations/sidebar-nmid-symbolic.svg
  918. share/Setzer/resources/symbols/relations/sidebar-nparallel-symbolic.svg
  919. share/Setzer/resources/symbols/relations/sidebar-nprec-symbolic.svg
  920. share/Setzer/resources/symbols/relations/sidebar-npreceq-symbolic.svg
  921. share/Setzer/resources/symbols/relations/sidebar-nshortmid-symbolic.svg
  922. share/Setzer/resources/symbols/relations/sidebar-nshortparallel-symbolic.svg
  923. share/Setzer/resources/symbols/relations/sidebar-nsubseteq-symbolic.svg
  924. share/Setzer/resources/symbols/relations/sidebar-nsubseteqq-symbolic.svg
  925. share/Setzer/resources/symbols/relations/sidebar-nsucc-symbolic.svg
  926. share/Setzer/resources/symbols/relations/sidebar-nsucceq-symbolic.svg
  927. share/Setzer/resources/symbols/relations/sidebar-nsupseteq-symbolic.svg
  928. share/Setzer/resources/symbols/relations/sidebar-nsupseteqq-symbolic.svg
  929. share/Setzer/resources/symbols/relations/sidebar-ntriangleleft-symbolic.svg
  930. share/Setzer/resources/symbols/relations/sidebar-ntrianglelefteq-symbolic.svg
  931. share/Setzer/resources/symbols/relations/sidebar-ntriangleright-symbolic.svg
  932. share/Setzer/resources/symbols/relations/sidebar-ntrianglerighteq-symbolic.svg
  933. share/Setzer/resources/symbols/relations/sidebar-nvDash-symbolic.svg
  934. share/Setzer/resources/symbols/relations/sidebar-nvdash-symbolic.svg
  935. share/Setzer/resources/symbols/relations/sidebar-parallel-symbolic.svg
  936. share/Setzer/resources/symbols/relations/sidebar-perp-symbolic.svg
  937. share/Setzer/resources/symbols/relations/sidebar-pitchfork-symbolic.svg
  938. share/Setzer/resources/symbols/relations/sidebar-prec-symbolic.svg
  939. share/Setzer/resources/symbols/relations/sidebar-precapprox-symbolic.svg
  940. share/Setzer/resources/symbols/relations/sidebar-preccurlyeq-symbolic.svg
  941. share/Setzer/resources/symbols/relations/sidebar-preceq-symbolic.svg
  942. share/Setzer/resources/symbols/relations/sidebar-precnapprox-symbolic.svg
  943. share/Setzer/resources/symbols/relations/sidebar-precnsim-symbolic.svg
  944. share/Setzer/resources/symbols/relations/sidebar-precsim-symbolic.svg
  945. share/Setzer/resources/symbols/relations/sidebar-propto-symbolic.svg
  946. share/Setzer/resources/symbols/relations/sidebar-shortmid-symbolic.svg
  947. share/Setzer/resources/symbols/relations/sidebar-shortparallel-symbolic.svg
  948. share/Setzer/resources/symbols/relations/sidebar-sim-symbolic.svg
  949. share/Setzer/resources/symbols/relations/sidebar-simeq-symbolic.svg
  950. share/Setzer/resources/symbols/relations/sidebar-smallfrown-symbolic.svg
  951. share/Setzer/resources/symbols/relations/sidebar-smallsmile-symbolic.svg
  952. share/Setzer/resources/symbols/relations/sidebar-smile-symbolic.svg
  953. share/Setzer/resources/symbols/relations/sidebar-sqsubset-symbolic.svg
  954. share/Setzer/resources/symbols/relations/sidebar-sqsubseteq-symbolic.svg
  955. share/Setzer/resources/symbols/relations/sidebar-sqsupset-symbolic.svg
  956. share/Setzer/resources/symbols/relations/sidebar-sqsupseteq-symbolic.svg
  957. share/Setzer/resources/symbols/relations/sidebar-subset-symbolic.svg
  958. share/Setzer/resources/symbols/relations/sidebar-subseteq-symbolic.svg
  959. share/Setzer/resources/symbols/relations/sidebar-subseteqq-symbolic.svg
  960. share/Setzer/resources/symbols/relations/sidebar-subsetneq-symbolic.svg
  961. share/Setzer/resources/symbols/relations/sidebar-subsetneqq-symbolic.svg
  962. share/Setzer/resources/symbols/relations/sidebar-succ-symbolic.svg
  963. share/Setzer/resources/symbols/relations/sidebar-succapprox-symbolic.svg
  964. share/Setzer/resources/symbols/relations/sidebar-succcurlyeq-symbolic.svg
  965. share/Setzer/resources/symbols/relations/sidebar-succeq-symbolic.svg
  966. share/Setzer/resources/symbols/relations/sidebar-succnapprox-symbolic.svg
  967. share/Setzer/resources/symbols/relations/sidebar-succnsim-symbolic.svg
  968. share/Setzer/resources/symbols/relations/sidebar-succsim-symbolic.svg
  969. share/Setzer/resources/symbols/relations/sidebar-supset-symbolic.svg
  970. share/Setzer/resources/symbols/relations/sidebar-supseteq-symbolic.svg
  971. share/Setzer/resources/symbols/relations/sidebar-supseteqq-symbolic.svg
  972. share/Setzer/resources/symbols/relations/sidebar-supsetneq-symbolic.svg
  973. share/Setzer/resources/symbols/relations/sidebar-supsetneqq-symbolic.svg
  974. share/Setzer/resources/symbols/relations/sidebar-therefore-symbolic.svg
  975. share/Setzer/resources/symbols/relations/sidebar-trianglelefteq-symbolic.svg
  976. share/Setzer/resources/symbols/relations/sidebar-trianglerighteq-symbolic.svg
  977. share/Setzer/resources/symbols/relations/sidebar-vDash-symbolic.svg
  978. share/Setzer/resources/symbols/relations/sidebar-varpropto-symbolic.svg
  979. share/Setzer/resources/symbols/relations/sidebar-varsubsetneq-symbolic.svg
  980. share/Setzer/resources/symbols/relations/sidebar-varsupsetneq-symbolic.svg
  981. share/Setzer/resources/symbols/relations/sidebar-vartriangleleft-symbolic.svg
  982. share/Setzer/resources/symbols/relations/sidebar-vartriangleright-symbolic.svg
  983. share/Setzer/resources/symbols/relations/sidebar-vdash-symbolic.svg
  984. share/applications/org.cvfosammmm.Setzer.desktop
  985. share/icons/hicolor/scalable/apps/org.cvfosammmm.Setzer.svg
  986. share/locale/de/LC_MESSAGES/setzer.mo
  987. share/locale/it/LC_MESSAGES/setzer.mo
  988. share/metainfo/org.cvfosammmm.Setzer.appdata.xml
  989. share/mime/packages/org.cvfosammmm.Setzer.mime.xml
  990. @owner
  991. @group
  992. @mode
Collapse this list.
Dependency lines:
  • ${PYTHON_PKGNAMEPREFIX}>0:editors/setzer
To install the port: cd /usr/ports/editors/setzer/ && make install clean
To add the package: pkg install setzer
PKGNAME: setzer
Flavors: there is no flavor information for this port.
distinfo:
Packages: (move your mouse over the cells for more information)
setzer
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd640.3.4-
FreeBSD:11:armv6--
FreeBSD:11:i3860.3.4-
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd640.3.4-
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i3860.3.4-
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd640.3.4-
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3860.3.4-
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64--
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. itstool : textproc/itstool
  2. update-desktop-database : devel/desktop-file-utils
  3. msgfmt : devel/gettext-tools
  4. gtk-update-icon-cache : graphics/gtk-update-icon-cache
  5. py37-gobject3>=0 : devel/py-gobject3@py37
  6. meson : devel/meson
  7. ninja : devel/ninja
  8. pkgconf>=1.3.0_1 : devel/pkgconf
  9. python3.7 : lang/python37
Runtime dependencies:
  1. py37-xdg>=0 : devel/py-xdg@py37
  2. xdg-open : devel/xdg-utils
  3. update-desktop-database : devel/desktop-file-utils
  4. gtk-update-icon-cache : graphics/gtk-update-icon-cache
  5. py37-gobject3>=0 : devel/py-gobject3@py37
  6. python3.7 : lang/python37
Library dependencies:
  1. libgspell-1.so : textproc/gspell
  2. libpoppler-glib.so : graphics/poppler-glib
  3. libwebkit2gtk-4.0.so : www/webkit2-gtk3
  4. libintl.so : devel/gettext-runtime
  5. libatk-1.0.so : accessibility/atk
  6. libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
  7. libglib-2.0.so : devel/glib20
  8. libintl.so : devel/gettext-runtime
  9. libgtk-3.so : x11-toolkits/gtk30
  10. libgtksourceview-4.so : x11-toolkits/gtksourceview4
  11. libgirepository-1.0.so : devel/gobject-introspection
  12. libxml2.so : textproc/libxml2
  13. libpango-1.0.so : x11-toolkits/pango
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
Expand this list (1 items)
    Collapse this list.
  1. https://codeload.github.com/cvfosammmm/Setzer/tar.gz/v0.3.4?dummy=/
  2. Collapse this list.

Number of commits found: 1

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
18 Oct 2020 06:47:58
Original commit files touched by this commit  0.3.4
Revision:552622
rhurlin search for other commits by this committer
editors/setzer: New port, version 0.3.4

Write LaTeX documents with an easy to use yet full-featured editor.

Rapidly evolving editor, based on Python 3 and Gtk3.

Homepage[1] and repository[2]:
[1] https://www.cvfosammmm.org/setzer/
[2] https://github.com/cvfosammmm/Setzer

PR:		247063
Submitted by:	Greg V <greg@unrelenting.technology> (maintainer)
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D26834

Number of commits found: 1

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
motionOct 28
freetype2Oct 22
chromiumOct 21
mysql56-serverOct 21
mysql57-serverOct 21
mysql80-serverOct 21
mariadb103-clientOct 18
mariadb103-serverOct 18
mariadb104-clientOct 18
mariadb104-serverOct 18
mariadb105-clientOct 18
mariadb105-serverOct 18
drupal7Oct 17
py-matrix-synapseOct 17
powerdns-recursorOct 14

8 vulnerabilities affecting 102 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-10-28 10:26:17


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 41276
Broken 57
Deprecated 272
Ignore 295
Forbidden 4
Restricted 146
No CDROM 73
Vulnerable 19
Expired 9
Set to expire 243
Interactive 0
new 24 hours 3
new 48 hours9
new 7 days32
new fortnight112
new month190

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.