# | Line 1043 | Line 1043 | static void read_memory_settings(void) | |
---|---|---|
1043 | // Create "Memory/Misc" pane | |
1044 | static void create_memory_pane(GtkWidget *top) | |
1045 | { | |
1046 | < | GtkWidget *box, *hbox, *vbox, *hbox2, *label, *scale, *menu; |
1046 | > | GtkWidget *box, *hbox, *vbox, *hbox2, *label, *scale; |
1047 | ||
1048 | box = make_pane(top, STR_MEMORY_MISC_PANE_TITLE); | |
1049 |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |