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

23 lines
2.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>time_label</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--filegui.c.html#L215'>time_label</a> 215 src/filemanager/filegui.c WLabel *time_label;</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L940'>time_label</a> 940 src/filemanager/filegui.c ui-&gt;time_label = label_new (y++, x, NULL);</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L941'>time_label</a> 941 src/filemanager/filegui.c group_add_widget (g, ui-&gt;time_label);</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1112'>time_label</a> 1112 src/filemanager/filegui.c if (ui-&gt;time_label != NULL)</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1123'>time_label</a> 1123 src/filemanager/filegui.c label_set_textv (ui-&gt;time_label, _ ("Time: %s %s"), buffer2, buffer3);</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1127'>time_label</a> 1127 src/filemanager/filegui.c label_set_textv (ui-&gt;time_label, _ ("Time: %s %s (%s)"), buffer2, buffer3, buffer4);</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1133'>time_label</a> 1133 src/filemanager/filegui.c label_set_textv (ui-&gt;time_label, _ ("Time: %s"), buffer2);</span>
<span class='curline'><a href='../S/src--filemanager--filegui.c.html#L1137'>time_label</a> 1137 src/filemanager/filegui.c label_set_textv (ui-&gt;time_label, _ ("Time: %s (%s)"), buffer2, buffer4);</span>
</pre>
</body>
</html>