This file is indexed.

/usr/include/gtkhotkey-1.0/gtkhotkey.h is in libgtkhotkey-dev 0.2.1-5ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
#ifndef __GTK_HOTKEY_H__
#define __GTK_HOTKEY_H__

#include <gtk-hotkey-info.h>
#include <gtk-hotkey-registry.h>
#include <gtk-hotkey-key-file-registry.h>
#include <gtk-hotkey-listener.h>
#include <gtk-hotkey-x11-listener.h>
#include <gtk-hotkey-error.h>

#endif /* __GTK_HOTKEY_H__ */