Overview

Package

Class

Use

Tree

Serialized

Deprecated

Index

Help

SWT LPEX
v3.0.0

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.ibm.lpex.alef
Class LpexSourceViewer.RulerLayout

java.lang.Object
  org.eclipse.swt.widgets.Layout
      com.ibm.lpex.alef.LpexSourceViewer.RulerLayout

Enclosing class:

LpexSourceViewer

protected class LpexSourceViewer.RulerLayout

extends org.eclipse.swt.widgets.Layout

Layout of this source viewer. The vertical ruler and the LPEX text widget are shown side by side. The LPEX text widget window sits on top of a prompt window.

Field Summary

protected int

fGap The gap between the text viewer and the vertical ruler.

Constructor Summary

LpexSourceViewer.RulerLayout(int gap)
Creates a new ruler layout with the given gap between text viewer and vertical ruler.

Method Summary

protected org.eclipse.swt.graphics.Point	computeSize(org.eclipse.swt.widgets.Composite composite, int wHint, int hHint, boolean flushCache)
protected void	layout(org.eclipse.swt.widgets.Composite composite, boolean flushCache)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

fGap

protected int fGap

The gap between the text viewer and the vertical ruler.

Constructor Detail

LpexSourceViewer.RulerLayout

public LpexSourceViewer.RulerLayout(int gap)

Creates a new ruler layout with the given gap between text viewer and vertical ruler.

Parameters:

gap - the gap between text viewer and vertical ruler

Method Detail

computeSize

protected org.eclipse.swt.graphics.Point computeSize(org.eclipse.swt.widgets.Composite composite,
                                                     int wHint,
                                                     int hHint,
                                                     boolean flushCache)

layout

protected void layout(org.eclipse.swt.widgets.Composite composite,
                      boolean flushCache)