release 0.3.5

13 files changed, 28 insertions, 6 deletions

diff --git a/doc/img/ss_colors.jpg b/doc/img/ss_colors.jpg
index 04e41e7..40be594 100644
--- a/doc/img/ss_colors.jpg
+++ b/doc/img/ss_colors.jpg
diff --git a/doc/img/ss_devform.jpg b/doc/img/ss_devform.jpg
index 255c200..7e1ade9 100644
--- a/doc/img/ss_devform.jpg
+++ b/doc/img/ss_devform.jpg
diff --git a/doc/img/ss_devices.jpg b/doc/img/ss_devices.jpg
index ba0fbc8..e1bfb4f 100644
--- a/doc/img/ss_devices.jpg
+++ b/doc/img/ss_devices.jpg
diff --git a/doc/img/ss_extprog.jpg b/doc/img/ss_extprog.jpg
index ae289d1..bf309b1 100644
--- a/doc/img/ss_extprog.jpg
+++ b/doc/img/ss_extprog.jpg
diff --git a/doc/img/ss_goto.jpg b/doc/img/ss_goto.jpg
index e736d19..06eccc8 100644
--- a/doc/img/ss_goto.jpg
+++ b/doc/img/ss_goto.jpg
diff --git a/doc/img/ss_mix.jpg b/doc/img/ss_mix.jpg
index d31ecc6..d623198 100644
--- a/doc/img/ss_mix.jpg
+++ b/doc/img/ss_mix.jpg
diff --git a/doc/img/ss_mixal.jpg b/doc/img/ss_mixal.jpg
index 2adadc6..c25af9b 100644
--- a/doc/img/ss_mixal.jpg
+++ b/doc/img/ss_mixal.jpg
diff --git a/doc/img/ss_symbols.jpg b/doc/img/ss_symbols.jpg
new file mode 100644
index 0000000..882608f
--- /dev/null
+++ b/doc/img/ss_symbols.jpg
diff --git a/doc/img/ss_worddlg.jpg b/doc/img/ss_worddlg.jpg
index 5f07b4f..38570fc 100644
--- a/doc/img/ss_worddlg.jpg
+++ b/doc/img/ss_worddlg.jpg
diff --git a/doc/mdk.texi b/doc/mdk.texi
index 0326e4b..31c36bf 100644
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -13,8 +13,8 @@
 
 
 @set UPDATED 9 June 2001
-@set EDITION 0.3.3
-@set VERSION 0.3.4
+@set EDITION 0.3.4
+@set VERSION 0.3.5
 @set JAO Jose Antonio Ortega Ruiz
 @set PHILIP Philip E. King
 @footnotestyle separate
@@ -118,6 +118,7 @@ helpful discussions, as well as actual code (@pxref{mixvm.el}).
 
 
 
+
 @detailmenu
  --- The Detailed Node Listing ---
 
diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi
index 19beadd..f850384 100644
--- a/doc/mdk_gmixvm.texi
+++ b/doc/mdk_gmixvm.texi
@@ -259,6 +259,17 @@ Clears all currently set breakpoints. It is equivalent to the
 @code{mixvm}'s @code{cabp} command.
 @end deffn
 
+@deffn Debug Symbols...
+Opens a dialog showing the list of symbols defined in the currently
+loaded MIX program.
+
+@ifnotinfo
+@image{img/ss_symbols}
+@end ifnotinfo
+
+@end deffn
+
+
 @deffn Settings Colors...
 Lets you change the colors used to mark the current and breakpoint lines
 in the MIXAL tab, as well as the colors used for plain source lines.
@@ -312,4 +323,6 @@ Shows information about @code{gmixvm}'s version and copyright.
 @end deffn
 
 On the other hand, the status bar displays the name of the last loaded
-MIX file.
+MIX file. In addition, when the mouse pointer is over a MIXAL source
+file line that contains symbols, a list of these symbols with their
+values will appear in the status bar.
diff --git a/mdk.spec b/mdk.spec
index c0d3753..d0dada1 100644
--- a/mdk.spec
+++ b/mdk.spec
@@ -1,6 +1,6 @@
 %define 	name	mdk
 %define		docname mdk-doc
-%define 	version	0.3.3
+%define 	version	0.3.5
 %define 	release	1
 %define 	serial	2
 #%define 	prefix	/opt/mdk-0.3.1/usr
@@ -118,6 +118,12 @@ make -e prefix=$RPM_BUILD_ROOT%{prefix} install
 
 
 %changelog
+* Wed Jun 20 2001 Agustin Navarro <anp@cantv.net>
+- Upgrade to mdk-0.3.5
+
+* Tue Jun 12 2001 Agustin Navarro <anp@cantv.net>
+- Upgrade to mdk-0.3.4
+
 * Sat Jun 09 2001 Agustin Navarro <anp@cantv.net>
 - Upgrade to mdk-0.3.3
 
diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade
index 2e227f4..6d7b057 100644
--- a/mixgtk/mixgtk.glade
+++ b/mixgtk/mixgtk.glade
@@ -1784,8 +1784,8 @@
 <widget>
   <class>GtkDialog</class>
   <name>goto_dialog</name>
-  <width>190</width>
-  <height>116</height>
+  <width>193</width>
+  <height>120</height>
   <visible>False</visible>
   <signal>
     <name>destroy_event</name>
@@ -1822,6 +1822,7 @@
       <child_name>Dialog:action_area</child_name>
       <name>dialog-action_area6</name>
       <border_width>10</border_width>
+      <height>40</height>
       <homogeneous>True</homogeneous>
       <spacing>5</spacing>
       <child>
@@ -1880,6 +1881,7 @@
       <class>GtkVBox</class>
       <name>vbox1</name>
       <border_width>12</border_width>
+      <height>75</height>
       <homogeneous>False</homogeneous>
       <spacing>0</spacing>
       <child>