Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/Coq/clib/

Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: subterm.pvs Sprache: C

Original von: Lyx^©

/* This file is part of
* ======================================================
*
*           LyX, The Document Processor
*
*     Copyright (C) 1995 Matthias Ettrich
*          Copyright (C) 1995-1998 The LyX Team.
*
*======================================================*/

#include <config.h>

#ifdef __GNUG__
#pragma implementation "lyxinset.h"
#endif

#include "lyxinset.h"
#include "error.h"

// $Id: inset.C,v 1.1.1.1 1998/04/20 21:14:48 larsbj Exp $

#if !defined(lint) && !defined(WITH_WARNINGS)
static char vcid[] = "$Id: inset.C,v 1.1.1.1 1998/04/20 21:14:48 larsbj Exp $";
#endif /* lint */

/* Insets default methods */

bool Inset::Deletable() const
{
  return true;
}

bool Inset::DirectWrite() const
{
  return false;
}

unsigned char Inset::Editable() const
{
  return 0;
}

void Inset::Validate(LaTeXFeatures &) const
{
// nothing by default
}

bool Inset::AutoDelete() const
{
  return false;
}

void Inset::Edit(int, int)
{
}

LyXFont Inset::ConvertFont(LyXFont font)
{
  return font;
}

// Inset::Code Inset::LyxCode() const
// {
//   return Inset::NO_CODE;
// }

/* some stuff for inset locking */

void UpdatableInset::InsetButtonPress(int x, int y, int button)
{
lyxerr.debug(LString("Inset Button Press x=")+ x +
        ", y=" + y + ", button=" + button);
}

void UpdatableInset::InsetButtonRelease(int x, int y, int button)
{
lyxerr.debug(LString("Inset Button Release x=")+ x +
        ", y=" + y + ", button=" + button);
}

void UpdatableInset::InsetKeyPress(XKeyEvent *)
{
lyxerr.debug("Inset Keypress");
}

void UpdatableInset::InsetMotionNotify(int x, int y, int state)
{
lyxerr.debug(LString("Inset Motion Notify x=")+ x +
        ", y=" + y + ", state=" + state);
}

void UpdatableInset::InsetUnlock()
{
lyxerr.debug("Inset Unlock", Error::ANY);
}

// An updatable inset is highly editable by definition
unsigned char UpdatableInset::Editable() const
{
return 2; // and what does "2" siginify? (Lgb)
}

void UpdatableInset::ToggleInsetCursor()
{
  // nothing
}