X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=player%2Fpreferences.c;h=b457c1ef5e37e0731f78fac8570f7d8033f75e20;hb=HEAD;hp=88e88ff1aade52a8b6664c3ae78856079a14128e;hpb=36d2b1cc41af8ef5d9e67785f9601f11242196ca;p=projects%2Fchimara%2Fchimara.git diff --git a/player/preferences.c b/player/preferences.c index 88e88ff..b457c1e 100644 --- a/player/preferences.c +++ b/player/preferences.c @@ -104,11 +104,13 @@ parse_interpreter(const char *interp) return CHIMARA_IF_INTERPRETER_GLULXE; if(strcmp(interp, "git") == 0) return CHIMARA_IF_INTERPRETER_GIT; + if(strcmp(interp, "bocfel") == 0) + return CHIMARA_IF_INTERPRETER_BOCFEL; return CHIMARA_IF_INTERPRETER_NONE; } static const char *interpreter_strings[CHIMARA_IF_NUM_INTERPRETERS] = { - "frotz", "nitfol", "glulxe", "git" + "frotz", "nitfol", "glulxe", "git", "bocfel" }; static const char * @@ -123,7 +125,8 @@ static const char *interpreter_display_strings[CHIMARA_IF_NUM_INTERPRETERS] = { N_("Frotz"), N_("Nitfol"), N_("Glulxe"), - N_("Git") + N_("Git"), + N_("Bocfel") }; static const char * @@ -148,8 +151,8 @@ preferences_create(ChimaraGlk *glk) gtk_tree_store_set(style_list, &grid, 0, "Text grid", -1); int i; - gint num_tags = chimara_glk_get_num_tag_names(glk); - const gchar **tag_names = chimara_glk_get_tag_names(glk); + unsigned int num_tags; + const gchar **tag_names = chimara_glk_get_tag_names(glk, &num_tags); for(i=0; i