Files
source/Y/pause_options.html
github-actions[bot] 08571174ab Deploy to GitHub Pages
2026-02-01 17:32:02 +00:00

18 lines
1.0 KiB
HTML

<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>pause_options</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.6.11' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--filemanager--boxes.c.html#L550'>pause_options</a> 550 src/filemanager/boxes.c const char *pause_options[] = {</span>
<span class='curline'><a href='../S/src--filemanager--boxes.c.html#L555'>pause_options</a> 555 src/filemanager/boxes.c const int pause_options_num = G_N_ELEMENTS (pause_options);</span>
<span class='curline'><a href='../S/src--filemanager--boxes.c.html#L580'>pause_options</a> 580 src/filemanager/boxes.c QUICK_RADIO (pause_options_num, pause_options, &amp;pause_after_run, NULL),</span>
</pre>
</body>
</html>