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	# 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	.browser.menubar.file add command \
299	-command {Brow_do_Read} \
300	-label {Open values...} \
301	-accelerator {Alt-f o} \
302	-underline 0
303	.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	#