# HG changeset patch
# User ib
# Date 1329128522 0
# Node ID 97148652b0c658c3b5377ba32d09babb6da001cd
# Parent  e3840eb107bc24ddd19cb75f2714da69b7c57c92
Replace for loop with index by while loop with pointer.

diff -r e3840eb107bc -r 97148652b0c6 gui/cfg.c
--- a/gui/cfg.c	Mon Feb 13 09:09:02 2012 +0000
+++ b/gui/cfg.c	Mon Feb 13 10:22:02 2012 +0000
@@ -353,7 +353,6 @@
 {
     char *fname;
     FILE *file;
-    unsigned int i;
 
     // configuration
 
@@ -361,11 +360,13 @@
     file  = fopen(fname, "wt+");
 
     if (file) {
-        for (i = 0; gui_opts[i].name; i++) {
-            char *val = m_option_print(&gui_opts[i], gui_opts[i].p);
+        const m_option_t *opts = gui_opts;
+
+        while (opts->name) {
+            char *val = m_option_print(opts, opts->p);
 
             if (val == (char *)-1) {
-                gmp_msg(MSGT_GPLAYER, MSGL_WARN, MSGTR_UnableToSaveOption, gui_opts[i].name);
+                gmp_msg(MSGT_GPLAYER, MSGL_WARN, MSGTR_UnableToSaveOption, opts->name);
                 val = NULL;
             }
 
@@ -375,9 +376,11 @@
                 if (!strchr(val, ' '))
                     *delim = 0;
 
-                fprintf(file, "%s=%s%s%s\n", gui_opts[i].name, delim, val, delim);
+                fprintf(file, "%s=%s%s%s\n", opts->name, delim, val, delim);
                 free(val);
             }
+
+            opts++;
         }
 
         fclose(file);
@@ -433,6 +436,8 @@
     file  = fopen(fname, "wt+");
 
     if (file) {
+        unsigned int i;
+
         for (i = 0; i < FF_ARRAY_ELEMS(fsHistory); i++)
             if (fsHistory[i])
                 fprintf(file, "%s\n", fsHistory[i]);