octave: libgui/src/community-news.cc annotate

annotate libgui/src/community-news.cc @ 33636:3ec6fcce7715 default tip @

gui: Avoid using HAVE_QSCINTILLA in more header files. * gui-settings.h, settings-dialog.h: Don't include QScintilla header. Forward-declare QSciLexer class instead if necessary. Declare all member functions unconditionally. * gui-settings.cc (gui_settings::get_valid_lexer_styles, gui_settings::read_lexer_settings), settings-dialog.cc (settings_dialog::update_lexer, settings_dialog::get_lexer_settings, settings_dialog::write_lexer_settings): Define functions unconditionally. * gui-preferences-ed.h: Don't include QScintilla header. Remove definition of local variable os_eol_mode from header. * gui-preferences-ed.cc (os_eol_mode): Move definition of local variable here.

author	Markus Mützel <markus.muetzel@gmx.de>
date	Tue, 28 May 2024 14:54:58 +0200
parents	4b601ca024d5
children

rev	line source
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	1 ////////////////////////////////////////////////////////////////////////
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	2 //
32632 2e484f9f1f18 maint: update Octave Project Developers copyright for the new year John W. Eaton <jwe@octave.org> parents: 31808 diff changeset	3 // Copyright (C) 2011-2024 The Octave Project Developers
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	4 //
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	5 // See the file COPYRIGHT.md in the top-level directory of this
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	6 // distribution or <https://octave.org/copyright/>.
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	7 //
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	8 // This file is part of Octave.
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	9 //
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	10 // Octave is free software: you can redistribute it and/or modify it
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	11 // under the terms of the GNU General Public License as published by
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	12 // the Free Software Foundation, either version 3 of the License, or
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	13 // (at your option) any later version.
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	14 //
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	15 // Octave is distributed in the hope that it will be useful, but
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	16 // WITHOUT ANY WARRANTY; without even the implied warranty of
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	18 // GNU General Public License for more details.
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	19 //
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	20 // You should have received a copy of the GNU General Public License
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	21 // along with Octave; see the file COPYING. If not, see
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	22 // <https://www.gnu.org/licenses/>.
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	23 //
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	24 ////////////////////////////////////////////////////////////////////////
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	25
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	26 #if defined (HAVE_CONFIG_H)
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	27 # include "config.h"
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	28 #endif
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	29
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	30 #include <QLayout>
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	31 #include <QTextBrowser>
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	32 #include <QThread>
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	33
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	34 #include "community-news.h"
30690 e2c8c852399e replace use of depreciated QDesktopWidget in GUI Torsten Lilge <ttl-octave@mailbox.org> parents: 30564 diff changeset	35 #include "gui-utils.h"
30964 04601f6c47f4 fix broken icon path after new icon structure in GUI Torsten Lilge <ttl-octave@mailbox.org> parents: 30690 diff changeset	36 #include "gui-preferences-dw.h"
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	37 #include "gui-preferences-nr.h"
31619 ad014fc78bd6 use individual local gui_settings objects John W. Eaton <jwe@octave.org> parents: 30964 diff changeset	38 #include "gui-settings.h"
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	39 #include "news-reader.h"
a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	40
31646 c6d54dd31a7e maint: Use macros to begin/end C++ namespaces. John W. Eaton <jwe@octave.org> parents: 30964 diff changeset	41 OCTAVE_BEGIN_NAMESPACE(octave)
c6d54dd31a7e maint: Use macros to begin/end C++ namespaces. John W. Eaton <jwe@octave.org> parents: 30964 diff changeset	42
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	43 community_news::community_news (int serial)
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	44 : QWidget (nullptr), m_browser (nullptr)
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	45 {
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	46 construct ("https://octave.org", "community-news.html", serial);
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	47 }
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	48
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	49 community_news::community_news (QWidget *parent, const QString& base_url,
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	50 const QString& page, int serial)
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	51 : QWidget (parent), m_browser (nullptr)
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	52 {
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	53 construct (base_url, page, serial);
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	54 }
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	55
32592 094a296b3ba1 maint: C++ style check for libgui/ directory. Rik <rik@octave.org> parents: 31808 diff changeset	56 void
094a296b3ba1 maint: C++ style check for libgui/ directory. Rik <rik@octave.org> parents: 31808 diff changeset	57 community_news::construct (const QString& base_url, const QString& page,
094a296b3ba1 maint: C++ style check for libgui/ directory. Rik <rik@octave.org> parents: 31808 diff changeset	58 int serial)
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	59 {
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	60 m_browser = new QTextBrowser (this);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	61
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	62 m_browser->setObjectName ("OctaveNews");
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	63 m_browser->setOpenExternalLinks (true);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	64
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	65 QVBoxLayout *vlayout = new QVBoxLayout;
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	66
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	67 vlayout->addWidget (m_browser);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	68
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	69 setLayout (vlayout);
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	70 setWindowTitle (tr ("Octave Community News"));
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	71
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	72 int win_x, win_y;
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	73 get_screen_geometry (win_x, win_y);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	74
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	75 resize (win_x/2, win_y/2);
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	76 move ((win_x - width ())/2, (win_y - height ())/2);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	77
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	78 gui_settings settings;
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	79
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	80 QString icon;
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	81 QString icon_set = settings.string_value (dw_icon_set);
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	82 if (icon_set != "NONE")
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	83 // No extra icon for Community news, take the one of the release notes
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	84 icon = dw_icon_set_names[icon_set] + "ReleaseWidget.png";
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	85 else
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	86 icon = dw_icon_set_names[icon_set];
30964 04601f6c47f4 fix broken icon path after new icon structure in GUI Torsten Lilge <ttl-octave@mailbox.org> parents: 30690 diff changeset	87
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	88 setWindowIcon (QIcon (icon));
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	89
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	90 // FIXME: This is a news reader preference, so shouldn't it be used
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	91 // in the news_reader object?
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	92
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	93 bool connect_to_web = settings.bool_value (nr_allow_connection);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	94
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	95 QThread *worker_thread = new QThread;
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	96
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	97 news_reader *reader
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	98 = new news_reader (base_url, page, serial, connect_to_web);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	99
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	100 reader->moveToThread (worker_thread);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	101
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	102 connect (reader, &news_reader::display_news_signal,
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	103 this, &community_news::set_news);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	104
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	105 connect (worker_thread, &QThread::started,
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	106 reader, &news_reader::process);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	107
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	108 connect (reader, &news_reader::finished, worker_thread, &QThread::quit);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	109
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	110 connect (reader, &news_reader::finished, reader, &news_reader::deleteLater);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	111
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	112 connect (worker_thread, &QThread::finished,
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	113 worker_thread, &QThread::deleteLater);
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	114
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	115 worker_thread->start ();
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	116 }
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	117
32592 094a296b3ba1 maint: C++ style check for libgui/ directory. Rik <rik@octave.org> parents: 31808 diff changeset	118 void
094a296b3ba1 maint: C++ style check for libgui/ directory. Rik <rik@octave.org> parents: 31808 diff changeset	119 community_news::set_news (const QString& news)
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	120 {
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	121 m_browser->setHtml (news);
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	122 }
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	123
32592 094a296b3ba1 maint: C++ style check for libgui/ directory. Rik <rik@octave.org> parents: 31808 diff changeset	124 void
094a296b3ba1 maint: C++ style check for libgui/ directory. Rik <rik@octave.org> parents: 31808 diff changeset	125 community_news::display ()
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	126 {
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	127 if (! isVisible ())
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	128 show ();
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	129 else if (isMinimized ())
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	130 showNormal ();
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	131
31808 90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	132 raise ();
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	133 activateWindow ();
90621682cc03 maint: Remove unnecessary indent after OCTAVE_BEGIN_NAMESPACE in libgui/ Rik <rik@octave.org> parents: 31771 diff changeset	134 }
29835 a946d742fb97 allow community news window to be opened from command line John W. Eaton <jwe@octave.org> parents: diff changeset	135
31646 c6d54dd31a7e maint: Use macros to begin/end C++ namespaces. John W. Eaton <jwe@octave.org> parents: 30964 diff changeset	136 OCTAVE_END_NAMESPACE(octave)

Mercurial > octave

annotate libgui/src/community-news.cc @ 33636:3ec6fcce7715 default tip @