home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
PC World Komputer 1999 mARCH
/
PCWK3A99.iso
/
Linux
/
DDD331
/
DDD-3_1_.000
/
DDD-3_1_
/
ddd-3.1.1
/
ddd
/
fonts.h
< prev
next >
Wrap
C/C++ Source or Header
|
1998-05-02
|
2KB
|
68 lines
// $Id: fonts.h,v 1.5 1998/05/02 12:59:44 zeller Exp $ -*- C++ -*-
// Setup DDD fonts
// Copyright (C) 1998 Technische Universitaet Braunschweig, Germany.
// Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
//
// This file is part of DDD.
//
// DDD 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 2 of the License, or (at your option) any later version.
//
// DDD 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 DDD -- see the file COPYING.
// If not, write to the Free Software Foundation, Inc.,
// 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
//
// DDD is the data display debugger.
// For details, see the DDD World-Wide-Web page,
// `http://www.cs.tu-bs.de/softech/ddd/',
// or send a mail to the DDD developers <ddd@ips.cs.tu-bs.de>.
#ifndef _DDD_fonts_h
#define _DDD_fonts_h
#ifdef __GNUG__
#pragma interface
#endif
#include "strclass.h"
#include "AppData.h"
#include <X11/Intrinsic.h>
// Font types
enum DDDFont { DefaultDDDFont = 0,
VariableWidthDDDFont = 1,
FixedWidthDDDFont = 2,
SymbolDDDFont = 3 };
// Setup font specs. DB is the resource database in use.
extern void setup_fonts(AppData& app_data, XrmDatabase db = 0);
// Return font name from BASE, overriding with parts from OVERRIDE.
// Override contains "-SPEC-SPEC-..."; each non-empty SPEC overrides
// the default in BASE.
extern string make_font(const AppData& ad, DDDFont base,
const string& override = "");
// Set a new font resource
extern void set_font(DDDFont n, const string& name);
// Browse fonts
extern void BrowseFontCB(Widget w, XtPointer, XtPointer);
// Set font name and size
extern void SetFontNameCB(Widget w, XtPointer, XtPointer);
extern void SetFontSizeCB(Widget w, XtPointer, XtPointer);
#endif // _DDD_fonts_h
// DON'T ADD ANYTHING BEHIND THIS #endif