| Server IP : 104.21.25.180 / Your IP : 162.159.115.41 Web Server : Apache/2.4.37 System : Linux almalinux.duckdns.org 4.18.0-553.111.1.el8_10.x86_64 #1 SMP Sun Mar 8 20:06:07 EDT 2026 x86_64 User : ricodeal ( 1046) PHP Version : 7.4.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /usr/share/enscript/hl/ |
Upload File : |
state lang_overstrike
{
BEGIN {
sub map_color (r, g, b)
{
return "";
}
LANGUAGE_SPECIALS = /./;
sub language_print (str)
{
if (italic_flag)
print (regsuball (str, /[A-Za-z0-9]/, "_\010$0"));
else if (bold_flag)
print (regsuball (str, /[^\n]/, "$0\010$0"));
else
print (str);
}
sub language_symbol (symbol)
{
return false;
}
sub header ()
{
bold_flag = 0;
italic_flag = 0;
}
sub trailer ()
{
}
sub face_on (face)
{
if (face[boldp])
bold_flag = 1;
if (face[italicp])
italic_flag = 1;
}
sub face_off (face)
{
if (face[boldp])
bold_flag = 0;
if (face[italicp])
italic_flag = 0;
}
return;
}
}
/*
Local variables:
mode: c
End:
*/