view libgui/src/documentation-dock-widget.h @ 19619:f9a944b9e1cb gui-release

provide a user preference for printing the debug location in the terminal * main-window.cc (notice_settings): get new preference from settings file; (execute_command_callback): set next breakpoint quiet if desired; (execute_debug_callback): set next breakpoint quiet only if desired * main-window.h: new class attribute storing the preference * settings-dialog.cc (constructor): get new preference from settings file and initialize the new checkbox, put terminal related settings together; (write_changed_settings): write state of checkbox into settings file; * settings-dialog.ui: new checkbox for printing debug location in terminal tab
author Torsten <ttl@justmail.de>
date Sat, 17 Jan 2015 09:33:15 +0100
parents 2d5d0d86432e
children 4197fc428c7d
line wrap: on
line source

/*

Copyright (C) 2011-2013 Jacob Dawid

This file is part of Octave.

Octave is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 3 of the License, or (at your
option) any later version.

Octave is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with Octave; see the file COPYING.  If not, see
<http://www.gnu.org/licenses/>.

*/

#ifndef DOCUMENTATIONDOCKWIDGET_H
#define DOCUMENTATIONDOCKWIDGET_H

#include "octave-dock-widget.h"

#include "webinfo.h"

class documentation_dock_widget : public octave_dock_widget
{
  Q_OBJECT

public:

  documentation_dock_widget (QWidget *parent = 0);

protected slots:
  void copyClipboard ();
  void pasteClipboard ();
  void selectAll ();

  void showDoc (const QString & name);
private:

  webinfo *_webinfo;
};

#endif // DOCUMENTATIONDOCKWIDGET_H