more micro-optimizations for internal API, we can use inlining and we don't…
84e5d2157fb9
Actions

Authored by cullmann on Sep 2 2018, 6:18 PM.

Description

more micro-optimizations for internal API, we can use inlining and we don't need sharing => std::vector

Committed

cullmann

Sep 2 2018, 6:18 PM

Parents

R216:2e79464421af: some micro-optimizations

Branches

Unknown

Tags

Unknown

				Path	Packages
	M			src/lib/abstracthighlighter.cpp
	M			src/lib/context.cpp
	M			src/lib/context_p.h