From 1b5dd62b71d8d9b657b0cd7c138c9dc523a07cc4 Mon Sep 17 00:00:00 2001 From: Neil Date: Wed, 17 Mar 2021 14:58:11 +1100 Subject: Change Font to an interface and stop using FontID. Fonts are shared and reference counted using std::shared_ptr. This optimizes memory and reduces potential for allocation bugs. --- src/CallTip.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/CallTip.h') diff --git a/src/CallTip.h b/src/CallTip.h index 562b24f9d..6cc89d3a5 100644 --- a/src/CallTip.h +++ b/src/CallTip.h @@ -24,7 +24,7 @@ struct Chunk { class CallTip { Chunk highlight; // character offset to start and end of highlighted text std::string val; - Font font; + std::shared_ptr font; PRectangle rectUp; // rectangle of last up angle in the tip PRectangle rectDown; // rectangle of last down arrow in the tip int lineHeight; // vertical line spacing -- cgit v1.2.3