tcltk/TK/browser.tcl

#  browser.tcl
#  by Benjamin A. Allan and Kirk A. Abbott
#  Created: January 1994
#  Part of ASCEND
#  Revision: $Revision: 1.43 $
#  Last modified on: $Date: 1998/06/18 15:55:20 $
#  Last modified by: $Author: mthomas $
#  Revision control file: $RCSfile: browser.tcl,v $
#
#  This file is part of the ASCEND Tcl/Tk Interface.
#
#  Copyright (C) 1994-1998 Carnegie Mellon University
#
#  The ASCEND Tcl/Tk Interface 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.
#
#  The ASCEND Tcl/Tk Interface is distributed in 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 the program; if not, write to the Free Software
#  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139 USA.  Check the
#  file named COPYING.  COPYING is found in ../compiler.

# Module: browser.tcl
# Tcl version: 7.1 (Tcl/Tk/XF)
# Tk version: 3.4
# XF version: 2.2
#

# module contents
global moduleList
global autoLoadList
set moduleList(browser.tcl) { .browser}
set autoLoadList(browser.tcl) {0}

# procedures to show toplevel windows


# procedure to show window ShowWindow.browser
proc ShowWindow.browser { args} { # xf ignore me 7

  global ascBrowVect ascGlobalVect
StartupSrc.browser

  # build widget .browser
  if {"[info procs XFEdit]" != ""} {
    catch "XFDestroy .browser"
  } {
    catch "destroy .browser"
  }
  toplevel .browser

  # Window manager configurations
  wm iconify .browser
  wm positionfrom .browser user
  wm sizefrom .browser user
  wm iconname .browser {Browser}
  wm minsize .browser 100 100
  wm title .browser {A4 Browser}
  wm protocol .browser WM_DELETE_WINDOW {Toggle_Remote ascBrowVect}


  # build widget .browser.main_frm
  frame .browser.main_frm

  # build widget .browser.main_frm.child_box
  frame .browser.main_frm.child_box

  # build widget .browser.main_frm.child_box.scrollbar2
  scrollbar .browser.main_frm.child_box.scrollbar2 \
    -command {.browser.main_frm.child_box.listbox1 yview}

  # build widget .browser.main_frm.child_box.scrollbar3
  scrollbar .browser.main_frm.child_box.scrollbar3 \
    -command {.browser.main_frm.child_box.listbox1 xview} \
    -orient {horizontal}

  # build widget .browser.main_frm.child_box.listbox1
  listbox .browser.main_frm.child_box.listbox1 \
    -relief {raised} \
    -xscrollcommand {.browser.main_frm.child_box.scrollbar3 set} \
    -yscrollcommand {.browser.main_frm.child_box.scrollbar2 set} \
    -font $ascBrowVect(font) \
    -width 18 \
    -height 2 \
    -exportselection 0


  # pack widget .browser.main_frm.child_box
  pack append .browser.main_frm.child_box \
    .browser.main_frm.child_box.scrollbar2 {right frame center filly} \
    .browser.main_frm.child_box.listbox1 {top frame center expand fill} \
    .browser.main_frm.child_box.scrollbar3 {bottom frame center fillx}

  # build widget .browser.main_frm.parents_box
  frame .browser.main_frm.parents_box

  # build widget .browser.main_frm.parents_box.scrollbar2
  scrollbar .browser.main_frm.parents_box.scrollbar2 \
    -command {.browser.main_frm.parents_box.listbox1 yview}

  # build widget .browser.main_frm.parents_box.scrollbar3
  scrollbar .browser.main_frm.parents_box.scrollbar3 \
    -command {.browser.main_frm.parents_box.listbox1 xview} \
    -orient {horizontal}

  # build widget .browser.main_frm.parents_box.listbox1
  listbox .browser.main_frm.parents_box.listbox1\
    -relief {raised} \
    -xscrollcommand {.browser.main_frm.parents_box.scrollbar3 set} \
    -yscrollcommand {.browser.main_frm.parents_box.scrollbar2 set} \
    -font $ascBrowVect(font) \
    -width 12 \
    -height 2

  # pack widget .browser.main_frm.parents_box
  pack append .browser.main_frm.parents_box \
      .browser.main_frm.parents_box.scrollbar2 {left frame center filly} \
      .browser.main_frm.parents_box.listbox1 {top frame center expand fill} \
      .browser.main_frm.parents_box.scrollbar3 {bottom frame center fillx}

  # pack widget .browser.main_frm
  pack append .browser.main_frm \
      .browser.main_frm.parents_box {left frame center filly} \
      .browser.main_frm.child_box {left frame center expand fill}


  # build widget .browser.local_frm
  frame .browser.local_frm

  # build widget .browser.local_frm.child_box
  frame .browser.local_frm.child_box

  # build widget .browser.local_frm.child_box.scrollbar2
  scrollbar .browser.local_frm.child_box.scrollbar2 \
    -command {.browser.local_frm.child_box.listbox1 yview}

  # build widget .browser.local_frm.child_box.scrollbar3
  scrollbar .browser.local_frm.child_box.scrollbar3 \
    -command {.browser.local_frm.child_box.listbox1 xview} \
    -orient {horizontal}

  # build widget .browser.local_frm.child_box.listbox1
  listbox .browser.local_frm.child_box.listbox1 \
    -relief {raised} \
    -xscrollcommand {.browser.local_frm.child_box.scrollbar3 set} \
    -yscrollcommand {.browser.local_frm.child_box.scrollbar2 set} \
    -font $ascBrowVect(font) \
    -width 18 \
    -height 2 \
    -exportselection 0


  # pack widget .browser.local_frm.child_box
  pack append .browser.local_frm.child_box \
    .browser.local_frm.child_box.scrollbar2 {right frame center filly} \
    .browser.local_frm.child_box.listbox1 {top frame center expand fill} \
    .browser.local_frm.child_box.scrollbar3 {bottom frame center fillx}

  # build widget .browser.local_frm.check_box
  frame .browser.local_frm.check_box
  
  set rr .browser.local_frm.check_box

  # The command option of these checkbuttons is ugly.
  # should instead of passing an arg, just use the traces
  # on ascBrowVect(localshow,*) to set a (lasttoggled) value
  # so that Brow_do_UpdateLocalBox doesn't need an argument.

  # build rr.b1
  checkbutton $rr.b1 \
    -variable ascBrowVect(localshow,REAL_ATOM_INST) \
    -command {Brow_do_UpdateLocalBox REAL_ATOM_INST} \
    -text RV 

  # build rr.b2
  checkbutton $rr.b2 \
    -variable ascBrowVect(localshow,INTEGER_ATOM_INST) \
    -command {Brow_do_UpdateLocalBox INTEGER_ATOM_INST} \
    -text DV

  # build rr.b3
  checkbutton $rr.b3 \
    -variable ascBrowVect(localshow,REL_INST) \
    -command {Brow_do_UpdateLocalBox REL_INST} \
    -text RR

  # build rr.b4
  checkbutton $rr.b4 \
    -variable ascBrowVect(localshow,LREL_INST) \
    -command {Brow_do_UpdateLocalBox LREL_INST} \
    -text LR

  # build rr.b5
  checkbutton $rr.b5 \
    -variable ascBrowVect(localshow,REAL_CONSTANT_INST) \
    -command {Brow_do_UpdateLocalBox REAL_CONSTANT_INST} \
    -text RC

  # build rr.b6
  checkbutton $rr.b6 \
    -variable ascBrowVect(localshow,SET_ATOM_INST) \
    -command {Brow_do_UpdateLocalBox SET_ATOM_INST} \
    -text DC 

  # build rr.label
  label $rr.label \
    -textvariable ascBrowVect(locallabel) \
    -justify right

  # pack widget .browser.local_frm.check_box
  pack append .browser.local_frm.check_box \
      $rr.b1 {left frame center fill} \
      $rr.b2 {left frame center fill} \
      $rr.b3 {left frame center fill} \
      $rr.b4 {left frame center fill} \
      $rr.b5 {left frame center fill} \
      $rr.b6 {left frame center fill} \
      $rr.label {left frame center expand fill}

  # pack widget .browser.main_frm
  pack append .browser.local_frm \
      .browser.local_frm.child_box {top frame center expand fill} \
      .browser.local_frm.check_box {top frame center fill}

  #
  # Build the menu bar and submenus
  #
  menu .browser.menubar \
    -tearoffcommand .BROWSER.MENUBAR \
    -tearoff 0

  # The Display menu
  menu .browser.menubar.display \
    -tearoffcommand .BROWSER.MENUBAR.DISPLAY \
    -tearoff 0
  .browser.menubar.display add command  \
    -command {Brow_do_DispAttr} \
    -label {Attributes} \
    -accelerator {Alt-d a} \
    -underline 0
  .browser.menubar.display add command  \
    -command {Brow_do_DispRelations} \
    -label {Relations} \
    -accelerator {Alt-d r} \
    -underline 0
  .browser.menubar.display add command  \
    -command {Brow_do_DispCondRels} \
    -label {Conditional Relations} \
    -accelerator {Alt-d c} \
    -underline 0
  .browser.menubar.display add command  \
    -command {Brow_do_DispLogRels} \
    -label {Logical Relations} \
    -accelerator {Alt-d l} \
    -underline 0
  .browser.menubar.display add command  \
    -command {Brow_do_DispCondLogRels} \
    -label {Conditional Logical Relations} \
    -accelerator {Alt-d o} \
    -underline 1
  .browser.menubar.display add command  \
    -command {Brow_do_DispWhens} \
    -label {Whens} \
    -accelerator {Alt-d w} \
    -underline 0
  .browser.menubar.display add separator
  .browser.menubar.display add command  \
    -command {Brow_do_Plot} \
    -accelerator {Alt-d p} \
    -label {Plot} \
    -underline 0
  .browser.menubar.display add command  \
    -command {Brow_do_Statistics} \
    -accelerator {Alt-d s} \
    -label {Statistics} \
    -underline 0

  # The File menu
  menu .browser.menubar.file \
    -tearoffcommand .BROWSER.MENUBAR.FILE \
    -tearoff 0
  .browser.menubar.file add command \
    -command {Brow_do_Write} \
    -label {Write values...} \
    -accelerator {Alt-f w} \
    -underline 0
  .browser.menubar.file add command \
    -command {Brow_do_Read} \
    -label {Read values...} \
    -accelerator {Alt-f r} \
    -underline 0
  .browser.menubar.file add command \
    -command {Brow_do_Read} \
    -label {Open values...} \
    -accelerator {Alt-f o} \
    -underline 0
  .browser.menubar.file add separator
  .browser.menubar.file add command  \
    -command {Toggle_Remote ascBrowVect} \
    -accelerator {Alt-f c} \
    -label {Close window} \
    -underline 0
  .browser.menubar.file add command  \
    -command {Script_do_Exit} \
    -accelerator {Alt-f e} \
    -label {Exit ASCEND...} \
    -underline 0

  # The Edit menu
  menu .browser.menubar.edit \
    -tearoffcommand .BROWSER.MENUBAR.EDIT \
    -tearoff 0
  .browser.menubar.edit add command  \
    -command {Browser_do_Methods} \
    -label {Run method...} \
    -accelerator {Alt-e u} \
    -underline 1
  .browser.menubar.edit add command  \
    -command {Browser_do_ClearVars}  \
    -accelerator {Alt-e c} \
    -label {Clear Vars} \
    -underline 0
  .browser.menubar.edit add separator
  .browser.menubar.edit add command \
    -command {Browser_do_SetValue} \
    -accelerator {Alt-e v} \
    -label {Set value...} \
    -underline 4
    # -command {Brow_do_ParentsSetValue}
  .browser.menubar.edit add command \
    -command {Browser_do_Refine} \
    -accelerator {Alt-e r} \
    -label {Refine...} \
    -underline 0
  .browser.menubar.edit add command \
    -command {Browser_do_Merge} \
    -accelerator {Alt-e m} \
    -label {Merge...} \
    -underline 0
  .browser.menubar.edit add separator
  .browser.menubar.edit add cascade \
    -label {Compile} \
    -menu {.browser.menubar.edit.compile}

  # build widget .browser.menubar.edit.compile
  menu .browser.menubar.edit.compile \
    -tearoffcommand .BROWSER.MENUBAR.EDIT.COMPILE \
    -tearoff 0
  .browser.menubar.edit.compile add command \
    -command {Browser_do_Resume} \
    -accelerator {F5} \
    -underline -1 \
    -label {Resume Compilation}
  .browser.menubar.edit.compile add command \
    -command {Browser_do_CreatePart}  \
    -label {Create Part} \
    -state disabled


  # The Export menu
  menu .browser.menubar.export \
    -tearoffcommand .BROWSER.MENUBAR.EXPORT \
    -tearoff 0
  .browser.menubar.export add command \
    -command {Brow_do_Export2Solver} \
    -label {to Solver} \
    -accelerator {Alt-x s} \
    -underline 3
  .browser.menubar.export add command \
    -command {Brow_do_Export2Probe} \
    -label {Many to Probe ...} \
    -accelerator {Alt-x m} \
    -underline 0
  .browser.menubar.export add command \
    -command {Brow_do_ExportOne2Probe} \
    -accelerator {Alt-x p} \
    -label {Item to Probe} \
    -underline 8


  # The Find menu
  menu .browser.menubar.find \
    -tearoffcommand .BROWSER.MENUBAR.FIND \
    -tearoff 0
  .browser.menubar.find add command \
    -command {Brow_do_FindbyName} \
    -label {By name...} \
    -accelerator {Alt-i n} \
    -underline 3
  .browser.menubar.find add command \
    -command {Brow_do_FindbyType} \
    -label {By type...} \
    -accelerator {Alt-i t} \
    -underline 3
  .browser.menubar.find add command \
    -command {Brow_do_FindAliases} \
    -label {Aliases} \
    -accelerator {Alt-i a} \
    -underline 0
  .browser.menubar.find add command \
    -command {Brow_do_FindISAs} \
    -label {Where created} \
    -accelerator {Alt-i w} \
    -underline 0
  .browser.menubar.find add command \
    -command {Brow_do_FindClique} \
    -accelerator {Alt-i c} \
    -label {Clique} \
    -underline 0
  .browser.menubar.find add command \
    -command {Brow_do_FindEligible} \
    -label {Eligible variables} \
    -accelerator {Alt-i e} \
    -underline 0
  .browser.menubar.find add command \
    -command {Brow_do_FindActive} \
    -label {Active relations} \
    -accelerator {Alt-i r} \
    -underline 7
  .browser.menubar.find add command \
    -command {Brow_do_FindOpers} \
    -label {Operands} \
    -accelerator {Alt-i o} \
    -underline 0
  .browser.menubar.find add command \
    -command {Brow_do_FindParents} \
    -label {Parents} \
    -accelerator {Alt-i p} \
    -underline 0
  .browser.menubar.find add command \
    -command {Brow_do_FindPendings} \
    -label {Pendings} \
    -accelerator {Alt-i d} \
    -underline 3


  # The Help menu
  menu .browser.menubar.help \
    -tearoffcommand .BROWSER.MENUBAR.HELP \
    -tearoff 0
  .browser.menubar.help add command \
    -command {Brow_do_Help} \
    -label {On Browser} \
    -underline 3


  # The Options menu
  menu .browser.menubar.options \
    -tearoffcommand .BROWSER.MENUBAR.options \
    -tearoff 0
  .browser.menubar.options add checkbutton \
    -command {Brow_do_TypeorValue} \
    -offvalue {PASSED} \
    -onvalue {} \
    -variable {ascBrowVect(HidePassed)} \
    -accelerator {Alt-o p} \
    -underline 5 \
    -label {Hide Passed Parts}
  .browser.menubar.options add checkbutton \
    -command {Brow_do_TypeorValue} \
    -offvalue ATOMS \
    -onvalue {} \
    -variable {ascBrowVect(ShowAtoms)} \
    -accelerator {Alt-o a} \
    -underline 9 \
    -label {Suppress atoms}
  .browser.menubar.options add checkbutton \
    -command {Brow_do_TypeorValue} \
    -offvalue {TYPE} \
    -onvalue {VALUE} \
    -variable {ascBrowVect(TypeorValue)} \
    -accelerator {Alt-o v} \
    -underline 13 \
    -label {Display Atom Values}
  .browser.menubar.options add checkbutton \
    -offvalue {0} \
    -onvalue {1} \
    -variable {ascBrowVect(dimconsistency)} \
    -accelerator {Alt-o d} \
    -underline 6 \
    -label {Check dimensionality}
  .browser.menubar.options add command \
    -command {Brow_do_SaveOptions} \
    -label {Save options} \
    -accelerator {Alt-o s} \
    -underline 0
  .browser.menubar.options add separator
  .browser.menubar.options add command \
    -command {Brow_do_HideNames} \
    -label {Hide names...} \
    -accelerator {Alt-o h} \
    -underline 0
  .browser.menubar.options add command \
    -command {Brow_do_UnHideNames} \
    -accelerator {Alt-o u} \
    -label {Unhide names...} \
    -underline 0
  
  # The View menu
  menu .browser.menubar.view \
    -tearoffcommand .BROWSER.MENUBAR.VIEW \
    -tearoff 0
  .browser.menubar.view add command  \
    -command {Brow_do_Font}  \
    -label {Font ...} \
    -accelerator {Alt-v f} \
    -underline 0
  .browser.menubar.view add checkbutton \
    -offvalue {0} \
    -onvalue {1} \
    -variable {ascBrowVect(visibility)} \
    -label {Open automatically} \
    -accelerator {Alt-v o} \
    -underline 0
  .browser.menubar.view add command  \
    -command {View_Set_Save_Options browser}  \
    -label {Save window appearance} \
    -accelerator {Alt-v s} \
    -underline 0

  #
  # Add the menus as cascades of the toplevel's menu;
  # add the toplevel's menu to the toplevel
  #
  .browser.menubar add cascade \
    -menu .browser.menubar.file \
    -label {File} \
    -underline 0
  .browser.menubar add cascade \
    -menu .browser.menubar.edit \
    -label {Edit} \
    -underline 0
  .browser.menubar add cascade \
    -menu .browser.menubar.display \
    -label {Display} \
    -underline 0
  .browser.menubar add cascade \
    -menu .browser.menubar.find \
    -label {Find} \
    -underline 1
  .browser.menubar add cascade \
    -menu .browser.menubar.options \
    -label {Options} \
    -underline 0
  .browser.menubar add cascade \
    -menu .browser.menubar.view \
    -label {View} \
    -underline 0
  .browser.menubar add cascade \
    -menu .browser.menubar.export \
    -label {Export} \
    -underline 1
  .browser.menubar add cascade \
    -menu .browser.menubar.help \
    -label {Help} \
    -underline 0
  .browser configure \
    -menu .browser.menubar


  #
  #  Add the main frame to the browser toplevel
  #
  pack append .browser \
    .browser.main_frm {top frame center expand fill} \
    .browser.local_frm {top frame center expand fill}

  EndSrc.browser

  if {"[info procs XFEdit]" != ""} {
    catch "XFMiscBindWidgetTree .browser"
    after 2 "catch {XFEditSetShowWindows}"
  }
}

# proc DestroyWindow.browser {}
proc DestroyWindow.browser {} {# xf ignore me 7
  if {"[info procs XFEdit]" != ""} {
    if {"[info commands .browser]" != ""} {
      global xfShowWindow.browser
      set xfShowWindow.browser 0
      XFEditSetPath .
      after 2 "XFSaveAsProc .browser; XFEditSetShowWindows"
    }
  } {
    catch "destroy .browser"
    update
  }
}

# proc StartupSrc.browser {args}
proc StartupSrc.browser {args} {
 # browser startup entrance
  global ascBrowVect ascGlobalVect env
  if {[catch {set ascBrowVect(windowname)} ]} {
    set ascBrowVect(minsize) 100x100
    set ascBrowVect(geometry) 200x400+10+10
    set ascBrowVect(iconname) Browser
    set ascBrowVect(initialstate) normal
    set ascBrowVect(font) "-*-*"
  }
  if {[catch {set ascGlobalVect(font)} ]} {
    set ascGlobalVect(font) "-*-*"
    set ascGlobalVect(labelfont) "-*-*"
    set ascGlobalVect(tbg) "white"
    set ascGlobalVect(tfg) "black"
    set ascGlobalVect(bg) "white"
    set ascGlobalVect(fg) "black"
    set ascGlobalVect(afg) "white"
    set ascGlobalVect(abg) "black"
    set ascGlobalVect(sfg) "white"
    set ascGlobalVect(sbg) "black"
    set ascGlobalVect(visibility) 1
    set ascGlobalVect(c_loaded) "0"
    set ascGlobalVect(toolbitmap) \
      "@$env(ASCENDBITMAPS)/toolAttributes.xbm"
  }
}

# proc EndSrc.browser {}
proc EndSrc.browser {} {
 # browser startup exit
  global ascBrowVect
  set ascBrowVect(geometry) [sanegeometry $ascBrowVect(geometry)]
  set minw [lindex [split $ascBrowVect(minsize) x] 0]
  set minh [lindex [split $ascBrowVect(minsize) x] 1]
  set gw [lindex [split [lindex [split $ascBrowVect(geometry) +] 0] x] 0]
  set gh [lindex [split [lindex [split $ascBrowVect(geometry) +] 0] x] 1]
  set gp "+[lindex [split [split $ascBrowVect(geometry) x] +] 1]+[lindex [split [split $ascBrowVect(geometry) x] +] 2]"
  if {[expr $gw < $minw]} {set gw $minw}
  if {[expr $gh < $minh]} {set gh $minh}
  set gwh "${gw}x${gh}"
  wm minsize .browser $minw $minh
  wm geometry .browser [osgpos $gwh$gp]
  wm iconname .browser $ascBrowVect(iconname)

  if {$ascBrowVect(initialstate)!="iconic" && \
      $ascBrowVect(initialstate)!="iconified" &&
      $ascBrowVect(initialstate)!="withdrawn"} {
    wm deiconify .browser
  }
  if {"$ascBrowVect(initialstate)"=="withdrawn"} {
    wm withdraw .browser
  }
}


# Internal procedures

# eof
#
1	johnpye	571	# browser.tcl
2			# by Benjamin A. Allan and Kirk A. Abbott
3			# Created: January 1994
4			# Part of ASCEND
5			# Revision: $Revision: 1.43 $
6			# Last modified on: $Date: 1998/06/18 15:55:20 $
7			# Last modified by: $Author: mthomas $
8			# Revision control file: $RCSfile: browser.tcl,v $
9			#
10			# This file is part of the ASCEND Tcl/Tk Interface.
11			#
12			# Copyright (C) 1994-1998 Carnegie Mellon University
13			#
14			# The ASCEND Tcl/Tk Interface is free software; you can redistribute
15			# it and/or modify it under the terms of the GNU General Public
16			# License as published by the Free Software Foundation; either
17			# version 2 of the License, or (at your option) any later version.
18			#
19			# The ASCEND Tcl/Tk Interface is distributed in hope that it will be
20			# useful, but WITHOUT ANY WARRANTY; without even the implied warranty
21			# of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
22			# GNU General Public License for more details.
23			#
24			# You should have received a copy of the GNU General Public License
25			# along with the program; if not, write to the Free Software
26			# Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139 USA. Check the
27			# file named COPYING. COPYING is found in ../compiler.
28
29			# Module: browser.tcl
30			# Tcl version: 7.1 (Tcl/Tk/XF)
31			# Tk version: 3.4
32			# XF version: 2.2
33			#
34
35			# module contents
36			global moduleList
37			global autoLoadList
38			set moduleList(browser.tcl) { .browser}
39			set autoLoadList(browser.tcl) {0}
40
41			# procedures to show toplevel windows
42
43
44			# procedure to show window ShowWindow.browser
45			proc ShowWindow.browser { args} { # xf ignore me 7
46
47			global ascBrowVect ascGlobalVect
48			StartupSrc.browser
49
50			# build widget .browser
51			if {"[info procs XFEdit]" != ""} {
52			catch "XFDestroy .browser"
53			} {
54			catch "destroy .browser"
55			}
56			toplevel .browser
57
58			# Window manager configurations
59			wm iconify .browser
60			wm positionfrom .browser user
61			wm sizefrom .browser user
62			wm iconname .browser {Browser}
63			wm minsize .browser 100 100
64			wm title .browser {A4 Browser}
65			wm protocol .browser WM_DELETE_WINDOW {Toggle_Remote ascBrowVect}
66
67
68			# build widget .browser.main_frm
69			frame .browser.main_frm
70
71			# build widget .browser.main_frm.child_box
72			frame .browser.main_frm.child_box
73
74			# build widget .browser.main_frm.child_box.scrollbar2
75			scrollbar .browser.main_frm.child_box.scrollbar2 \
76			-command {.browser.main_frm.child_box.listbox1 yview}
77
78			# build widget .browser.main_frm.child_box.scrollbar3
79			scrollbar .browser.main_frm.child_box.scrollbar3 \
80			-command {.browser.main_frm.child_box.listbox1 xview} \
81			-orient {horizontal}
82
83			# build widget .browser.main_frm.child_box.listbox1
84			listbox .browser.main_frm.child_box.listbox1 \
85			-relief {raised} \
86			-xscrollcommand {.browser.main_frm.child_box.scrollbar3 set} \
87			-yscrollcommand {.browser.main_frm.child_box.scrollbar2 set} \
88			-font $ascBrowVect(font) \
89			-width 18 \
90			-height 2 \
91			-exportselection 0
92
93
94			# pack widget .browser.main_frm.child_box
95			pack append .browser.main_frm.child_box \
96			.browser.main_frm.child_box.scrollbar2 {right frame center filly} \
97			.browser.main_frm.child_box.listbox1 {top frame center expand fill} \
98			.browser.main_frm.child_box.scrollbar3 {bottom frame center fillx}
99
100			# build widget .browser.main_frm.parents_box
101			frame .browser.main_frm.parents_box
102
103			# build widget .browser.main_frm.parents_box.scrollbar2
104			scrollbar .browser.main_frm.parents_box.scrollbar2 \
105			-command {.browser.main_frm.parents_box.listbox1 yview}
106
107			# build widget .browser.main_frm.parents_box.scrollbar3
108			scrollbar .browser.main_frm.parents_box.scrollbar3 \
109			-command {.browser.main_frm.parents_box.listbox1 xview} \
110			-orient {horizontal}
111
112			# build widget .browser.main_frm.parents_box.listbox1
113			listbox .browser.main_frm.parents_box.listbox1\
114			-relief {raised} \
115			-xscrollcommand {.browser.main_frm.parents_box.scrollbar3 set} \
116			-yscrollcommand {.browser.main_frm.parents_box.scrollbar2 set} \
117			-font $ascBrowVect(font) \
118			-width 12 \
119			-height 2
120
121			# pack widget .browser.main_frm.parents_box
122			pack append .browser.main_frm.parents_box \
123			.browser.main_frm.parents_box.scrollbar2 {left frame center filly} \
124			.browser.main_frm.parents_box.listbox1 {top frame center expand fill} \
125			.browser.main_frm.parents_box.scrollbar3 {bottom frame center fillx}
126
127			# pack widget .browser.main_frm
128			pack append .browser.main_frm \
129			.browser.main_frm.parents_box {left frame center filly} \
130			.browser.main_frm.child_box {left frame center expand fill}
131
132
133			# build widget .browser.local_frm
134			frame .browser.local_frm
135
136			# build widget .browser.local_frm.child_box
137			frame .browser.local_frm.child_box
138
139			# build widget .browser.local_frm.child_box.scrollbar2
140			scrollbar .browser.local_frm.child_box.scrollbar2 \
141			-command {.browser.local_frm.child_box.listbox1 yview}
142
143			# build widget .browser.local_frm.child_box.scrollbar3
144			scrollbar .browser.local_frm.child_box.scrollbar3 \
145			-command {.browser.local_frm.child_box.listbox1 xview} \
146			-orient {horizontal}
147
148			# build widget .browser.local_frm.child_box.listbox1
149			listbox .browser.local_frm.child_box.listbox1 \
150			-relief {raised} \
151			-xscrollcommand {.browser.local_frm.child_box.scrollbar3 set} \
152			-yscrollcommand {.browser.local_frm.child_box.scrollbar2 set} \
153			-font $ascBrowVect(font) \
154			-width 18 \
155			-height 2 \
156			-exportselection 0
157
158
159			# pack widget .browser.local_frm.child_box
160			pack append .browser.local_frm.child_box \
161			.browser.local_frm.child_box.scrollbar2 {right frame center filly} \
162			.browser.local_frm.child_box.listbox1 {top frame center expand fill} \
163			.browser.local_frm.child_box.scrollbar3 {bottom frame center fillx}
164
165			# build widget .browser.local_frm.check_box
166			frame .browser.local_frm.check_box
167
168			set rr .browser.local_frm.check_box
169
170			# The command option of these checkbuttons is ugly.
171			# should instead of passing an arg, just use the traces
172			# on ascBrowVect(localshow,*) to set a (lasttoggled) value
173			# so that Brow_do_UpdateLocalBox doesn't need an argument.
174
175			# build rr.b1
176			checkbutton $rr.b1 \
177			-variable ascBrowVect(localshow,REAL_ATOM_INST) \
178			-command {Brow_do_UpdateLocalBox REAL_ATOM_INST} \
179			-text RV
180
181			# build rr.b2
182			checkbutton $rr.b2 \
183			-variable ascBrowVect(localshow,INTEGER_ATOM_INST) \
184			-command {Brow_do_UpdateLocalBox INTEGER_ATOM_INST} \
185			-text DV
186
187			# build rr.b3
188			checkbutton $rr.b3 \
189			-variable ascBrowVect(localshow,REL_INST) \
190			-command {Brow_do_UpdateLocalBox REL_INST} \
191			-text RR
192
193			# build rr.b4
194			checkbutton $rr.b4 \
195			-variable ascBrowVect(localshow,LREL_INST) \
196			-command {Brow_do_UpdateLocalBox LREL_INST} \
197			-text LR
198
199			# build rr.b5
200			checkbutton $rr.b5 \
201			-variable ascBrowVect(localshow,REAL_CONSTANT_INST) \
202			-command {Brow_do_UpdateLocalBox REAL_CONSTANT_INST} \
203			-text RC
204
205			# build rr.b6
206			checkbutton $rr.b6 \
207			-variable ascBrowVect(localshow,SET_ATOM_INST) \
208			-command {Brow_do_UpdateLocalBox SET_ATOM_INST} \
209			-text DC
210
211			# build rr.label
212			label $rr.label \
213			-textvariable ascBrowVect(locallabel) \
214			-justify right
215
216			# pack widget .browser.local_frm.check_box
217			pack append .browser.local_frm.check_box \
218			$rr.b1 {left frame center fill} \
219			$rr.b2 {left frame center fill} \
220			$rr.b3 {left frame center fill} \
221			$rr.b4 {left frame center fill} \
222			$rr.b5 {left frame center fill} \
223			$rr.b6 {left frame center fill} \
224			$rr.label {left frame center expand fill}
225
226			# pack widget .browser.main_frm
227			pack append .browser.local_frm \
228			.browser.local_frm.child_box {top frame center expand fill} \
229			.browser.local_frm.check_box {top frame center fill}
230
231			#
232			# Build the menu bar and submenus
233			#
234			menu .browser.menubar \
235			-tearoffcommand .BROWSER.MENUBAR \
236			-tearoff 0
237
238			# The Display menu
239			menu .browser.menubar.display \
240			-tearoffcommand .BROWSER.MENUBAR.DISPLAY \
241			-tearoff 0
242			.browser.menubar.display add command \
243			-command {Brow_do_DispAttr} \
244			-label {Attributes} \
245			-accelerator {Alt-d a} \
246			-underline 0
247			.browser.menubar.display add command \
248			-command {Brow_do_DispRelations} \
249			-label {Relations} \
250			-accelerator {Alt-d r} \
251			-underline 0
252			.browser.menubar.display add command \
253			-command {Brow_do_DispCondRels} \
254			-label {Conditional Relations} \
255			-accelerator {Alt-d c} \
256			-underline 0
257			.browser.menubar.display add command \
258			-command {Brow_do_DispLogRels} \
259			-label {Logical Relations} \
260			-accelerator {Alt-d l} \
261			-underline 0
262			.browser.menubar.display add command \
263			-command {Brow_do_DispCondLogRels} \
264			-label {Conditional Logical Relations} \
265			-accelerator {Alt-d o} \
266			-underline 1
267			.browser.menubar.display add command \
268			-command {Brow_do_DispWhens} \
269			-label {Whens} \
270			-accelerator {Alt-d w} \
271			-underline 0
272			.browser.menubar.display add separator
273			.browser.menubar.display add command \
274			-command {Brow_do_Plot} \
275			-accelerator {Alt-d p} \
276			-label {Plot} \
277			-underline 0
278			.browser.menubar.display add command \
279			-command {Brow_do_Statistics} \
280			-accelerator {Alt-d s} \
281			-label {Statistics} \
282			-underline 0
283
284			# The File menu
285			menu .browser.menubar.file \
286			-tearoffcommand .BROWSER.MENUBAR.FILE \
287			-tearoff 0
288			.browser.menubar.file add command \
289			-command {Brow_do_Write} \
290			-label {Write values...} \
291			-accelerator {Alt-f w} \
292			-underline 0
293			.browser.menubar.file add command \
294			-command {Brow_do_Read} \
295			-label {Read values...} \
296			-accelerator {Alt-f r} \
297			-underline 0
298	ben.allan	659	.browser.menubar.file add command \
299			-command {Brow_do_Read} \
300			-label {Open values...} \
301			-accelerator {Alt-f o} \
302			-underline 0
303	johnpye	571	.browser.menubar.file add separator
304			.browser.menubar.file add command \
305			-command {Toggle_Remote ascBrowVect} \
306			-accelerator {Alt-f c} \
307			-label {Close window} \
308			-underline 0
309			.browser.menubar.file add command \
310			-command {Script_do_Exit} \
311			-accelerator {Alt-f e} \
312			-label {Exit ASCEND...} \
313			-underline 0
314
315			# The Edit menu
316			menu .browser.menubar.edit \
317			-tearoffcommand .BROWSER.MENUBAR.EDIT \
318			-tearoff 0
319			.browser.menubar.edit add command \
320			-command {Browser_do_Methods} \
321			-label {Run method...} \
322			-accelerator {Alt-e u} \
323			-underline 1
324			.browser.menubar.edit add command \
325			-command {Browser_do_ClearVars} \
326			-accelerator {Alt-e c} \
327			-label {Clear Vars} \
328			-underline 0
329			.browser.menubar.edit add separator
330			.browser.menubar.edit add command \
331			-command {Browser_do_SetValue} \
332			-accelerator {Alt-e v} \
333			-label {Set value...} \
334			-underline 4
335			# -command {Brow_do_ParentsSetValue}
336			.browser.menubar.edit add command \
337			-command {Browser_do_Refine} \
338			-accelerator {Alt-e r} \
339			-label {Refine...} \
340			-underline 0
341			.browser.menubar.edit add command \
342			-command {Browser_do_Merge} \
343			-accelerator {Alt-e m} \
344			-label {Merge...} \
345			-underline 0
346			.browser.menubar.edit add separator
347			.browser.menubar.edit add cascade \
348			-label {Compile} \
349			-menu {.browser.menubar.edit.compile}
350
351			# build widget .browser.menubar.edit.compile
352			menu .browser.menubar.edit.compile \
353			-tearoffcommand .BROWSER.MENUBAR.EDIT.COMPILE \
354			-tearoff 0
355			.browser.menubar.edit.compile add command \
356			-command {Browser_do_Resume} \
357			-accelerator {F5} \
358			-underline -1 \
359			-label {Resume Compilation}
360			.browser.menubar.edit.compile add command \
361			-command {Browser_do_CreatePart} \
362			-label {Create Part} \
363			-state disabled
364
365
366			# The Export menu
367			menu .browser.menubar.export \
368			-tearoffcommand .BROWSER.MENUBAR.EXPORT \
369			-tearoff 0
370			.browser.menubar.export add command \
371			-command {Brow_do_Export2Solver} \
372			-label {to Solver} \
373			-accelerator {Alt-x s} \
374			-underline 3
375			.browser.menubar.export add command \
376			-command {Brow_do_Export2Probe} \
377			-label {Many to Probe ...} \
378			-accelerator {Alt-x m} \
379			-underline 0
380			.browser.menubar.export add command \
381			-command {Brow_do_ExportOne2Probe} \
382			-accelerator {Alt-x p} \
383			-label {Item to Probe} \
384			-underline 8
385
386
387			# The Find menu
388			menu .browser.menubar.find \
389			-tearoffcommand .BROWSER.MENUBAR.FIND \
390			-tearoff 0
391			.browser.menubar.find add command \
392			-command {Brow_do_FindbyName} \
393			-label {By name...} \
394			-accelerator {Alt-i n} \
395			-underline 3
396			.browser.menubar.find add command \
397			-command {Brow_do_FindbyType} \
398			-label {By type...} \
399			-accelerator {Alt-i t} \
400			-underline 3
401			.browser.menubar.find add command \
402			-command {Brow_do_FindAliases} \
403			-label {Aliases} \
404			-accelerator {Alt-i a} \
405			-underline 0
406			.browser.menubar.find add command \
407			-command {Brow_do_FindISAs} \
408			-label {Where created} \
409			-accelerator {Alt-i w} \
410			-underline 0
411			.browser.menubar.find add command \
412			-command {Brow_do_FindClique} \
413			-accelerator {Alt-i c} \
414			-label {Clique} \
415			-underline 0
416			.browser.menubar.find add command \
417			-command {Brow_do_FindEligible} \
418			-label {Eligible variables} \
419			-accelerator {Alt-i e} \
420			-underline 0
421			.browser.menubar.find add command \
422			-command {Brow_do_FindActive} \
423			-label {Active relations} \
424			-accelerator {Alt-i r} \
425			-underline 7
426			.browser.menubar.find add command \
427			-command {Brow_do_FindOpers} \
428			-label {Operands} \
429			-accelerator {Alt-i o} \
430			-underline 0
431			.browser.menubar.find add command \
432			-command {Brow_do_FindParents} \
433			-label {Parents} \
434			-accelerator {Alt-i p} \
435			-underline 0
436			.browser.menubar.find add command \
437			-command {Brow_do_FindPendings} \
438			-label {Pendings} \
439			-accelerator {Alt-i d} \
440			-underline 3
441
442
443			# The Help menu
444			menu .browser.menubar.help \
445			-tearoffcommand .BROWSER.MENUBAR.HELP \
446			-tearoff 0
447			.browser.menubar.help add command \
448			-command {Brow_do_Help} \
449			-label {On Browser} \
450			-underline 3
451
452
453			# The Options menu
454			menu .browser.menubar.options \
455			-tearoffcommand .BROWSER.MENUBAR.options \
456			-tearoff 0
457			.browser.menubar.options add checkbutton \
458			-command {Brow_do_TypeorValue} \
459			-offvalue {PASSED} \
460			-onvalue {} \
461			-variable {ascBrowVect(HidePassed)} \
462			-accelerator {Alt-o p} \
463			-underline 5 \
464			-label {Hide Passed Parts}
465			.browser.menubar.options add checkbutton \
466			-command {Brow_do_TypeorValue} \
467			-offvalue ATOMS \
468			-onvalue {} \
469			-variable {ascBrowVect(ShowAtoms)} \
470			-accelerator {Alt-o a} \
471			-underline 9 \
472			-label {Suppress atoms}
473			.browser.menubar.options add checkbutton \
474			-command {Brow_do_TypeorValue} \
475			-offvalue {TYPE} \
476			-onvalue {VALUE} \
477			-variable {ascBrowVect(TypeorValue)} \
478			-accelerator {Alt-o v} \
479			-underline 13 \
480			-label {Display Atom Values}
481			.browser.menubar.options add checkbutton \
482			-offvalue {0} \
483			-onvalue {1} \
484			-variable {ascBrowVect(dimconsistency)} \
485			-accelerator {Alt-o d} \
486			-underline 6 \
487			-label {Check dimensionality}
488			.browser.menubar.options add command \
489			-command {Brow_do_SaveOptions} \
490			-label {Save options} \
491			-accelerator {Alt-o s} \
492			-underline 0
493			.browser.menubar.options add separator
494			.browser.menubar.options add command \
495			-command {Brow_do_HideNames} \
496			-label {Hide names...} \
497			-accelerator {Alt-o h} \
498			-underline 0
499			.browser.menubar.options add command \
500			-command {Brow_do_UnHideNames} \
501			-accelerator {Alt-o u} \
502			-label {Unhide names...} \
503			-underline 0
504
505			# The View menu
506			menu .browser.menubar.view \
507			-tearoffcommand .BROWSER.MENUBAR.VIEW \
508			-tearoff 0
509			.browser.menubar.view add command \
510			-command {Brow_do_Font} \
511			-label {Font ...} \
512			-accelerator {Alt-v f} \
513			-underline 0
514			.browser.menubar.view add checkbutton \
515			-offvalue {0} \
516			-onvalue {1} \
517			-variable {ascBrowVect(visibility)} \
518			-label {Open automatically} \
519			-accelerator {Alt-v o} \
520			-underline 0
521			.browser.menubar.view add command \
522			-command {View_Set_Save_Options browser} \
523			-label {Save window appearance} \
524			-accelerator {Alt-v s} \
525			-underline 0
526
527			#
528			# Add the menus as cascades of the toplevel's menu;
529			# add the toplevel's menu to the toplevel
530			#
531			.browser.menubar add cascade \
532			-menu .browser.menubar.file \
533			-label {File} \
534			-underline 0
535			.browser.menubar add cascade \
536			-menu .browser.menubar.edit \
537			-label {Edit} \
538			-underline 0
539			.browser.menubar add cascade \
540			-menu .browser.menubar.display \
541			-label {Display} \
542			-underline 0
543			.browser.menubar add cascade \
544			-menu .browser.menubar.find \
545			-label {Find} \
546			-underline 1
547			.browser.menubar add cascade \
548			-menu .browser.menubar.options \
549			-label {Options} \
550			-underline 0
551			.browser.menubar add cascade \
552			-menu .browser.menubar.view \
553			-label {View} \
554			-underline 0
555			.browser.menubar add cascade \
556			-menu .browser.menubar.export \
557			-label {Export} \
558			-underline 1
559			.browser.menubar add cascade \
560			-menu .browser.menubar.help \
561			-label {Help} \
562			-underline 0
563			.browser configure \
564			-menu .browser.menubar
565
566
567			#
568			# Add the main frame to the browser toplevel
569			#
570			pack append .browser \
571			.browser.main_frm {top frame center expand fill} \
572			.browser.local_frm {top frame center expand fill}
573
574			EndSrc.browser
575
576			if {"[info procs XFEdit]" != ""} {
577			catch "XFMiscBindWidgetTree .browser"
578			after 2 "catch {XFEditSetShowWindows}"
579			}
580			}
581
582			# proc DestroyWindow.browser {}
583			proc DestroyWindow.browser {} {# xf ignore me 7
584			if {"[info procs XFEdit]" != ""} {
585			if {"[info commands .browser]" != ""} {
586			global xfShowWindow.browser
587			set xfShowWindow.browser 0
588			XFEditSetPath .
589			after 2 "XFSaveAsProc .browser; XFEditSetShowWindows"
590			}
591			} {
592			catch "destroy .browser"
593			update
594			}
595			}
596
597			# proc StartupSrc.browser {args}
598			proc StartupSrc.browser {args} {
599			# browser startup entrance
600			global ascBrowVect ascGlobalVect env
601			if {[catch {set ascBrowVect(windowname)} ]} {
602			set ascBrowVect(minsize) 100x100
603			set ascBrowVect(geometry) 200x400+10+10
604			set ascBrowVect(iconname) Browser
605			set ascBrowVect(initialstate) normal
606			set ascBrowVect(font) "--"
607			}
608			if {[catch {set ascGlobalVect(font)} ]} {
609			set ascGlobalVect(font) "--"
610			set ascGlobalVect(labelfont) "--"
611			set ascGlobalVect(tbg) "white"
612			set ascGlobalVect(tfg) "black"
613			set ascGlobalVect(bg) "white"
614			set ascGlobalVect(fg) "black"
615			set ascGlobalVect(afg) "white"
616			set ascGlobalVect(abg) "black"
617			set ascGlobalVect(sfg) "white"
618			set ascGlobalVect(sbg) "black"
619			set ascGlobalVect(visibility) 1
620			set ascGlobalVect(c_loaded) "0"
621			set ascGlobalVect(toolbitmap) \
622			"@$env(ASCENDBITMAPS)/toolAttributes.xbm"
623			}
624			}
625
626			# proc EndSrc.browser {}
627			proc EndSrc.browser {} {
628			# browser startup exit
629			global ascBrowVect
630			set ascBrowVect(geometry) [sanegeometry $ascBrowVect(geometry)]
631			set minw [lindex [split $ascBrowVect(minsize) x] 0]
632			set minh [lindex [split $ascBrowVect(minsize) x] 1]
633			set gw [lindex [split [lindex [split $ascBrowVect(geometry) +] 0] x] 0]
634			set gh [lindex [split [lindex [split $ascBrowVect(geometry) +] 0] x] 1]
635			set gp "+[lindex [split [split $ascBrowVect(geometry) x] +] 1]+[lindex [split [split $ascBrowVect(geometry) x] +] 2]"
636			if {[expr $gw < $minw]} {set gw $minw}
637			if {[expr $gh < $minh]} {set gh $minh}
638			set gwh "${gw}x${gh}"
639			wm minsize .browser $minw $minh
640			wm geometry .browser [osgpos $gwh$gp]
641			wm iconname .browser $ascBrowVect(iconname)
642
643			if {$ascBrowVect(initialstate)!="iconic" && \
644			$ascBrowVect(initialstate)!="iconified" &&
645			$ascBrowVect(initialstate)!="withdrawn"} {
646			wm deiconify .browser
647			}
648			if {"$ascBrowVect(initialstate)"=="withdrawn"} {
649			wm withdraw .browser
650			}
651			}
652
653
654			# Internal procedures
655
656			# eof
657			#