Files
source/Y/replace_width.html

18 lines
956 B
HTML
Raw Permalink Normal View History

2026-02-01 17:32:02 +00:00
<!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>replace_width</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--editor--spell.c.html#L332'>replace_width</a> 332 src/editor/spell.c int replace_width;</span>
<span class='curline'><a href='../S/src--editor--spell.c.html#L351'>replace_width</a> 351 src/editor/spell.c replace_width = button_get_width (replace_btn);</span>
<span class='curline'><a href='../S/src--editor--spell.c.html#L357'>replace_width</a> 357 src/editor/spell.c max_btn_width = MAX (replace_width, skip_width);</span>
</pre>
</body>
</html>