diff options
Diffstat (limited to 'src/gui/extras.vapi')
| -rw-r--r-- | src/gui/extras.vapi | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/gui/extras.vapi b/src/gui/extras.vapi new file mode 100644 index 0000000..d8f2ddc --- /dev/null +++ b/src/gui/extras.vapi @@ -0,0 +1,10 @@ +namespace Extras { + public class External { + [CCode (cname = "system")] + public static int system(string cmd); + [CCode (cname = "fpid_file")] + public static string fpid_file(string file); + [CCode (cname = "fpid_size")] + public static long fpid_size(string file); + } +} |