styles/motif_ncd.style
author mawalch
Thu, 09 Nov 2017 09:17:41 +0100
changeset 8215 a7e0abee3cb8
parent 1948 6a9b754ca6d3
permissions -rw-r--r--
#DOCUMENTATION by mawalch class: Event class comment/format in: #documentation
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1546
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
; View defaultStyle:#motif_ncd 
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     2
;
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
; silicon graphics style with smaller fonts
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
;
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1546
diff changeset
     5
; $Header: /cvs/stx/stx/libview/styles/motif_ncd.style,v 1.2 1997-11-02 19:49:05 cg Exp $
1546
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     7
#include 'motif.style'
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     9
comment  '''motif'' look alike\with smaller fonts (for NCD x-terminals)' 
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    10
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    11
#if (Language == #german) or:[Language == #de]
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
comment  'An ''motif'' angelehnter Stil,\mit kleineren Zeichensätzen (für NCD x-terminals).'
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
#endif
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    14
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1546
diff changeset
    15
variableFont     Font family:'helvetica' size:10
1546
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
textFont         Font family:'courier' size:10
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1546
diff changeset
    17
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1546
diff changeset
    18
editField.font    =textFont
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1546
diff changeset
    19
selection.font    =variableFont
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1546
diff changeset
    20
label.font        =variableFont
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1546
diff changeset
    21
menu.font         =variableFont
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1546
diff changeset
    22
pullDownMenu.font =variableFont
1546
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    23
48f29bb1caee *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    24