changeset 30633:754ad6e9c0a5 stable

do not change tool tip font when in debug mode (bug #61792) * octave-qscintilla.cc: remove obsolete initialization of m_tooltip_font; (handle_enter_debug_mode): do not save old and set new tooltip font; (handle_exit_debug_mode): no tooltip font to restore * octave-qscintilla.h: remove obsolete variable m_tooltip_font
author Torsten Lilge <ttl-octave@mailbox.org>
date Tue, 11 Jan 2022 20:58:29 +0100
parents 51770116f835
children 064a8fbf9162
files libgui/src/m-editor/octave-qscintilla.cc libgui/src/m-editor/octave-qscintilla.h
diffstat 2 files changed, 1 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/m-editor/octave-qscintilla.cc	Tue Jan 11 20:43:35 2022 +0100
+++ b/libgui/src/m-editor/octave-qscintilla.cc	Tue Jan 11 20:58:29 2022 +0100
@@ -113,8 +113,7 @@
   octave_qscintilla::octave_qscintilla (QWidget *p, base_qobject& oct_qobj)
     : QsciScintilla (p), m_octave_qobj (oct_qobj), m_debug_mode (false),
       m_word_at_cursor (), m_selection (), m_selection_replacement (),
-      m_selection_line (-1), m_selection_col (-1), m_indicator_id (1),
-      m_tooltip_font (QToolTip::font ())
+      m_selection_line (-1), m_selection_col (-1), m_indicator_id (1)
   {
     connect (this, SIGNAL (textChanged (void)),
              this, SLOT (text_changed (void)));
@@ -1352,19 +1351,12 @@
 
   void octave_qscintilla::handle_enter_debug_mode (void)
   {
-    // Set tool tip font to the lexers default font
-    m_tooltip_font = QToolTip::font ();   // Save current font
-    QToolTip::setFont (lexer ()->defaultFont ());
-
     m_debug_mode = true;
   }
 
   void octave_qscintilla::handle_exit_debug_mode (void)
   {
     m_debug_mode = false;
-
-    // Reset tool tip font
-    QToolTip::setFont (m_tooltip_font);
   }
 
 }
--- a/libgui/src/m-editor/octave-qscintilla.h	Tue Jan 11 20:43:35 2022 +0100
+++ b/libgui/src/m-editor/octave-qscintilla.h	Tue Jan 11 20:58:29 2022 +0100
@@ -154,8 +154,6 @@
     int m_selection_line;
     int m_selection_col;
     int m_indicator_id;
-
-    QFont m_tooltip_font;
   };
 }