diff options
author | mbkma <[email protected]> | 2020-10-04 18:09:56 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2020-10-19 10:59:44 +0200 |
commit | 0830446ca167e24e3105bb76fcf5aabc13608b54 (patch) | |
tree | 22e0154a981ab80e7f2d11702e61fe522b127094 /plugins/filebrowser/pluma-file-browser-marshal.list | |
parent | ae86d50d909e7e20b856107614b255104c8850a6 (diff) | |
download | pluma-0830446ca167e24e3105bb76fcf5aabc13608b54.tar.bz2 pluma-0830446ca167e24e3105bb76fcf5aabc13608b54.tar.xz |
Remove pluma-marshal.
These days we can use the automatic ffi marshalling.
See:
- https://developer.gnome.org/gobject/stable/gobject-Signals.html#g-signal-new
- http://sourceware.org/libffi/
- https://gitlab.gnome.org/GNOME/gedit/-/commit/373adb7d041b0559953d0ac8cf2213ecc44db956
Diffstat (limited to 'plugins/filebrowser/pluma-file-browser-marshal.list')
-rw-r--r-- | plugins/filebrowser/pluma-file-browser-marshal.list | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/plugins/filebrowser/pluma-file-browser-marshal.list b/plugins/filebrowser/pluma-file-browser-marshal.list deleted file mode 100644 index f9349d22..00000000 --- a/plugins/filebrowser/pluma-file-browser-marshal.list +++ /dev/null @@ -1,5 +0,0 @@ -VOID:UINT,STRING -VOID:STRING,STRING -BOOLEAN:OBJECT,POINTER -BOOLEAN:POINTER -BOOLEAN:VOID |