mirror of
https://github.com/pdf2htmlEX/pdf2htmlEX.git
synced 2024-07-05 01:28:39 +00:00
..
This commit is contained in:
parent
f9a9ef2719
commit
8a9d3225e5
|
@ -283,11 +283,7 @@ void HTMLRenderer::TextLineBuffer::optimize()
|
||||||
|
|
||||||
// for optimization, we need accurate values
|
// for optimization, we need accurate values
|
||||||
auto & ls_manager = renderer->letter_space_manager;
|
auto & ls_manager = renderer->letter_space_manager;
|
||||||
double old_ls_eps = ls_manager.get_eps();
|
|
||||||
ls_manager.set_eps(EPS);
|
|
||||||
auto & ws_manager = renderer->word_space_manager;
|
auto & ws_manager = renderer->word_space_manager;
|
||||||
double old_ws_eps = ws_manager.get_eps();
|
|
||||||
ws_manager.set_eps(EPS);
|
|
||||||
|
|
||||||
// statistics of widths
|
// statistics of widths
|
||||||
std::map<double, size_t> width_map;
|
std::map<double, size_t> width_map;
|
||||||
|
@ -450,10 +446,6 @@ void HTMLRenderer::TextLineBuffer::optimize()
|
||||||
|
|
||||||
// apply optimization
|
// apply optimization
|
||||||
std::swap(offsets, new_offsets);
|
std::swap(offsets, new_offsets);
|
||||||
|
|
||||||
// restore old eps
|
|
||||||
ls_manager.set_eps(old_ls_eps);
|
|
||||||
ws_manager.set_eps(old_ws_eps);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
// this state will be converted to a child node of the node of prev_state
|
// this state will be converted to a child node of the node of prev_state
|
||||||
|
|
Loading…
Reference in New Issue
Block a user