From f34022c4c8984291f0f12a454449e7caeb78777c Mon Sep 17 00:00:00 2001
From: heinezen <heinezen@hotmail.de>
Date: Sun, 7 Apr 2024 17:32:11 +0200
Subject: [PATCH] etc: Add reminder to inherit from gdb.ValuePrinter later.

---
 etc/gdb_pretty/printers.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/etc/gdb_pretty/printers.py b/etc/gdb_pretty/printers.py
index 2a0be8b167..2d3c6e9fe5 100644
--- a/etc/gdb_pretty/printers.py
+++ b/etc/gdb_pretty/printers.py
@@ -96,6 +96,8 @@ def _register_printer(printer):
 class TimePrinter:
     """
     Pretty printer for openage::time::time_t.
+
+    TODO: Inherit from gdb.ValuePrinter when gdb 14.1 is available in all distros.
     """
 
     def __init__(self, val: gdb.Value):
@@ -126,6 +128,8 @@ def children(self):
 class FixedPointPrinter:
     """
     Pretty printer for openage::util::FixedPoint.
+
+    TODO: Inherit from gdb.ValuePrinter when gdb 14.1 is available in all distros.
     """
 
     def __init__(self, val: gdb.Value):
@@ -163,6 +167,8 @@ def children(self):
 class VectorPrinter:
     """
     Pretty printer for openage::util::Vector.
+
+    TODO: Inherit from gdb.ValuePrinter when gdb 14.1 is available in all distros.
     """
 
     def __init__(self, val: gdb.Value):