def update_language(document):
- " Update document language, if language is default convert it to
- english."
+ """ Update document language, if language is default convert it to
+ english."""
header = document.header
i = find_token(header, "\\language", 0)
if i == -1:
import re
from parser_tools import find_token, find_token_backwards, \
- find_tokens, find_tokens_backwards,
+ find_tokens, find_tokens_backwards, \
find_beginning_of, find_end_of, find_re, \
is_nonempty_line, find_nonempty_line, \
get_value, check_token