Rev 5767 | Rev 5825 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5767 | Rev 5776 | ||
---|---|---|---|
Line 41... | Line 41... | ||
41 | else if (id==20) show_dev_name ^= 1; |
41 | else if (id==20) show_dev_name ^= 1; |
42 | else if (id==21) { action_buf=109; real_files_names_case ^= 1; } |
42 | else if (id==21) { action_buf=109; real_files_names_case ^= 1; } |
43 | else if (id==22) info_after_copy ^= 1; |
43 | else if (id==22) info_after_copy ^= 1; |
44 | else if (id==24) two_panels ^= 1; |
44 | else if (id==24) two_panels ^= 1; |
45 | else if (id==25) files.line_h++; |
45 | else if (id==25) { files.line_h++; files_active.line_h = files_inactive.line_h = files.line_h; } |
46 | else if (id==26) && (files.line_h>18) files.line_h--; |
46 | else if (id==26) && (files.line_h>18) files.line_h--; |
47 | else if (id==27) MOUSE_TIME++; |
47 | else if (id==27) MOUSE_TIME++; |
48 | else if (id==28) && (MOUSE_TIME>29) MOUSE_TIME--; |
48 | else if (id==28) && (MOUSE_TIME>29) MOUSE_TIME--; |
49 | else if (id==30) { font.size.text++; IF(!font.changeSIZE()) font.size.text--; BigFontsChange(); } |
49 | else if (id==30) { font.size.text++; IF(!font.changeSIZE()) font.size.text--; BigFontsChange(); } |
50 | else if (id==31) { font.size.text--; IF(!font.changeSIZE()) font.size.text++; BigFontsChange(); } |
50 | else if (id==31) { font.size.text--; IF(!font.changeSIZE()) font.size.text++; BigFontsChange(); } |
51 | EventRedrawWindow(Form.left,Form.top); |
51 | EventRedrawWindow(Form.left,Form.top); |