diff options
Diffstat (limited to 'amiga/gui_options.h')
| -rwxr-xr-x | amiga/gui_options.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/amiga/gui_options.h b/amiga/gui_options.h index ec93fe9a2..fde4d23da 100755 --- a/amiga/gui_options.h +++ b/amiga/gui_options.h @@ -40,6 +40,14 @@ enum GID_OPTS_THEME, GID_OPTS_PTRTRUE, GID_OPTS_PTROS, + GID_OPTS_PROXY, + GID_OPTS_PROXY_HOST, + GID_OPTS_PROXY_PORT, + GID_OPTS_PROXY_USER, + GID_OPTS_PROXY_PASS, + GID_OPTS_FETCHMAX, + GID_OPTS_FETCHHOST, + GID_OPTS_FETCHCACHE, GID_OPTS_SAVE, GID_OPTS_USE, GID_OPTS_CANCEL, |