diff options
| author | monsta <[email protected]> | 2017-04-19 14:45:49 +0300 |
|---|---|---|
| committer | monsta <[email protected]> | 2017-04-19 14:45:49 +0300 |
| commit | 947da76491a293717a5e94346a1193f6b17d9c0b (patch) | |
| tree | ab9ab2cf83e59fa5cb1925edc7d35c26f9b7c4ed /docs/reference/pluma-docs.sgml | |
| parent | 961a50919672f1219f8ed336c194c2b49ea880b6 (diff) | |
| download | pluma-947da76491a293717a5e94346a1193f6b17d9c0b.tar.bz2 pluma-947da76491a293717a5e94346a1193f6b17d9c0b.tar.xz | |
docs: we have encodings combobox, not option menu
it was ported even before our fork from gedit:
https://git.gnome.org/browse/gedit/commit/?id=820ce8820a8db40eca5ca0b63f2d6e3a07416373
Diffstat (limited to 'docs/reference/pluma-docs.sgml')
| -rw-r--r-- | docs/reference/pluma-docs.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reference/pluma-docs.sgml b/docs/reference/pluma-docs.sgml index d0867dae..87d62271 100644 --- a/docs/reference/pluma-docs.sgml +++ b/docs/reference/pluma-docs.sgml @@ -10,7 +10,7 @@ <title>pluma</title> <xi:include href="xml/pluma-app.xml"/> <xi:include href="xml/pluma-document.xml"/> - <xi:include href="xml/pluma-encodings-option-menu.xml"/> + <xi:include href="xml/pluma-encodings-combo-box.xml"/> <xi:include href="xml/pluma-file-chooser-dialog.xml"/> <xi:include href="xml/pluma-message-bus.xml"/> <xi:include href="xml/pluma-message-type.xml"/> |