comparison libgui/src/history-dock-widget.cc @ 31647:431f80aba37a

maint: Merge stable to default.
author John W. Eaton <jwe@octave.org>
date Tue, 06 Dec 2022 15:37:43 -0500
parents 0645ea65ca6b c6d54dd31a7e
children deb553ac2c54
comparison
equal deleted inserted replaced
31645:bd9da634f00d 31647:431f80aba37a
44 44
45 #include "cmd-hist.h" 45 #include "cmd-hist.h"
46 46
47 #include "error.h" 47 #include "error.h"
48 48
49 namespace octave 49 OCTAVE_BEGIN_NAMESPACE(octave)
50 { 50
51 history_dock_widget::history_dock_widget (QWidget *p, base_qobject& oct_qobj) 51 history_dock_widget::history_dock_widget (QWidget *p, base_qobject& oct_qobj)
52 : octave_dock_widget ("HistoryDockWidget", p, oct_qobj) 52 : octave_dock_widget ("HistoryDockWidget", p, oct_qobj)
53 { 53 {
54 setStatusTip (tr ("Browse and search the command history.")); 54 setStatusTip (tr ("Browse and search the command history."));
55 55
367 font.setPointSize (settings.value (cs_font_size).toInt ()); 367 font.setPointSize (settings.value (cs_font_size).toInt ());
368 368
369 m_history_list_view->setFont (font); 369 m_history_list_view->setFont (font);
370 } 370 }
371 371
372 } 372 OCTAVE_END_NAMESPACE(octave)