Merge pull request #97210 from AleksLitynski/object-snapshot-debugger

Add an ObjectDB Profiling Tool
This commit is contained in:
Thaddeus Crews 2025-10-03 12:01:11 -05:00
commit f6aa5ba23c
No known key found for this signature in database
GPG key ID: 8C6E5FEB5FC03CCC
34 changed files with 3885 additions and 24 deletions

View file

@ -511,6 +511,7 @@ private:
int expand_ratio = 1;
bool expand = true;
bool clip_content = false;
String title_tooltip;
String title;
String xl_title;
HorizontalAlignment title_alignment = HORIZONTAL_ALIGNMENT_CENTER;
@ -839,6 +840,9 @@ public:
void set_column_title(int p_column, const String &p_title);
String get_column_title(int p_column) const;
void set_column_title_tooltip_text(int p_column, const String &p_tooltip);
String get_column_title_tooltip_text(int p_column) const;
void set_column_title_alignment(int p_column, HorizontalAlignment p_alignment);
HorizontalAlignment get_column_title_alignment(int p_column) const;