1
/* ----------------------------------------------------------------------
2
* Definition of ValkyrieOptionsPage valkyrie_options_page.h
3
* Subclass of OptionsPage to hold valkyrie-specific options | flags
4
* ----------------------------------------------------------------------
5
* This file is part of Valkyrie, a front-end for Valgrind
6
* Copyright (C) 2000-2008, OpenWorks LLP <info@open-works.co.uk>
7
* This program is released under the terms of the GNU GPL v.2
8
* See the file COPYING for the full license details.
11
#ifndef __VALKYRIE_OPTIONS_PAGE_H
12
#define __VALKYRIE_OPTIONS_PAGE_H
14
#include "options_page.h"
17
class ValkyrieOptionsPage : public OptionsPage
21
ValkyrieOptionsPage( QWidget* parent, VkObject* obj );
22
void applyOption( int optId );
26
void chooseToolFont();