diff options
-rw-r--r-- | config.h | 2 | ||||
-rw-r--r-- | uzbl.c | 5 | ||||
-rw-r--r-- | uzbl.h | 2 |
3 files changed, 5 insertions, 4 deletions
@@ -1,5 +1,5 @@ const struct { - char *command; + /*@null@*/ char *command; } default_config[] = { { "set reset_command_mode = 1"}, { "set status_format = <span background=\"darkblue\" foreground=\"white\"> \\@MODE </span> <span background=\"red\" foreground=\"white\">\\@[\\@keycmd]\\@</span> (\\@LOAD_PROGRESS%) <b>\\@[\\@TITLE]\\@</b> - Uzbl browser"}, @@ -91,7 +91,7 @@ typedef const struct { enum ptr_type type; int dump; int writeable; - void (*func)(void); + /*@null@*/ void (*func)(void); } uzbl_cmdprop; /* abbreviations to help keep the table's width humane */ @@ -181,7 +181,7 @@ const struct { const struct { - char *key; + /*@null@*/ char *key; guint mask; } modkeys[] = { { "SHIFT", GDK_SHIFT_MASK }, // shift @@ -230,6 +230,7 @@ get_exp_type(const gchar *s) { else return EXP_SIMPLE_VAR; + /*@notreached@*/ return EXP_ERR; } @@ -20,7 +20,7 @@ enum { }; const struct { - gchar *symbol_name; + /*@null@*/ gchar *symbol_name; guint symbol_token; } symbols[] = { {"KEYCMD", SYM_KEYCMD}, |