Home
last modified time | relevance | path

Searched refs:menu_border_style (Results 1 – 5 of 5) sorted by relevance

/dports/editors/mined/mined-2015.25/src/
H A Dmined1.c4081 menu_border_style = 'r'; in terminal_configure_init()
4110 menu_border_style = 'r'; in terminal_configure_init()
4576 menu_border_style = 'r'; in terminal_configure_init()
4697 menu_border_style = 'r'; in terminal_configure_init()
4787 menu_border_style = 'r'; in terminal_configure_init()
7095 menu_border_style = 'r';
7191 menu_border_style = 'r';
7621 menu_border_style = 'r';
7633 menu_border_style = 'r';
7678 menu_border_style = 'r';
[all …]
H A Dio.c220 char menu_border_style = 's'; variable
235 && menu_border_style != 'P' in use_unicode_menubar()
236 && menu_border_style != '@') { in use_unicode_menubar()
237 return 1 + (menu_border_style == 'd'); in use_unicode_menubar()
1661 if (menu_border_style == 'r') {
1730 if (menu_border_style == 'd') {
1851 if (menu_border_style == 'f') {
1873 } else if (menu_border_style == 'd') {
1895 } else if (menu_border_style == 'r') {
2182 if (menu_border_style == 'P' && c != 'q') {
[all …]
H A Dio.h268 extern char menu_border_style;
H A Dkeyboard.c879 menu_border_style = 'r'; in DIRECTcrttoolgetxy()
H A Dmousemen.c113 #define use_graphic_borders (menu_border_style != '@')