diff options
author | Sébastien Wilmet <swilmet@gnome.org> | 2014-06-26 20:08:25 +0200 |
---|---|---|
committer | Sébastien Wilmet <swilmet@gnome.org> | 2014-07-09 13:02:22 +0200 |
commit | cee3778c81fd8670fcecb3ecbfc72c0ca39396af (patch) | |
tree | fc8a85cd9734047b349b1f4a2d60ea9fec66540b /docs | |
parent | ad6d88bd889d14814fd4a2a241498f2af404ada3 (diff) | |
download | gedit-cee3778c81fd8670fcecb3ecbfc72c0ca39396af.tar.gz |
Port to GtkSourceCompressionType
And remove GeditDocumentCompressionType. This is an API break, but the
port is trivial.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/reference/gedit-sections.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/reference/gedit-sections.txt b/docs/reference/gedit-sections.txt index 16838ba4a..1810791ae 100644 --- a/docs/reference/gedit-sections.txt +++ b/docs/reference/gedit-sections.txt @@ -46,7 +46,6 @@ GeditDocument GeditDocumentSaveFlags GeditDocumentNewlineType GEDIT_DOCUMENT_NEWLINE_TYPE_DEFAULT -GeditDocumentCompressionType GEDIT_DOCUMENT_ERROR gedit_document_error_quark gedit_document_new |