[Texmacs-dev] [PATCH] cosmetics - make doxygen happy

[Igor V. Kovalenko]

Hi!

We all know these types are identical, but doxygen-1.2.18 doesn't.
Otherwise this is pure cosmetics and grep improvements :)

--------------------------------------------
diff -udBbHr TeXmacs-1.0.0.20-src/src/Resource/Tex/load-tfm.cc 
TeXmacs-1.0.0.20-src-20021029/src/Resource/Tex/load-tfm.cc
--- TeXmacs-1.0.0.20-src/src/Resource/Tex/load-tfm.cc   2002-08-10 
10:50:50.000000000 +0400
+++ TeXmacs-1.0.0.20-src-20021029/src/Resource/Tex/load-tfm.cc  2002-11-04 
00:19:19.000000000 +0300
@@ -115,8 +200,8 @@
 ******************************************************************************/

 void
-tex_font_metric_rep::execute (int* s, int n, int* buf, int* ker, int& m) {
+tex_font_metric_rep::execute (SI* s, int n, SI* buf, SI* ker, int& m) {
   int stack[m];
   int bp, sp=0, i;

diff -udBbHr TeXmacs-1.0.0.20-src/src/Window/PsDevice/printer.cc 
TeXmacs-1.0.0.20-src-20021029/src/Window/PsDevice/printer.cc
--- TeXmacs-1.0.0.20-src/src/Window/PsDevice/printer.cc 2002-10-22 
12:12:18.000000000 +0400
+++ TeXmacs-1.0.0.20-src-20021029/src/Window/PsDevice/printer.cc        
2002-11-03 22:39:44.000000000 +0300
@@ -293,8 +299,8 @@
 }

 void
-printer_rep::make_tex_char (string name, unsigned char c, bitmap_char bmc) {
+printer_rep::make_tex_char (string name, QN c, bitmap_char bmc) {
   string char_name (name * "-" * as_string ((int) c));
   if (tex_chars->contains (char_name)) return;
   if (!tex_fonts->contains (name)) {
diff -udBbHr TeXmacs-1.0.0.20-src/src/Window/Widget/Output/glue_widget.cc 
TeXmacs-1.0.0.20-src-20021029/src/Window/Widget/Output/glue_widget.cc
--- TeXmacs-1.0.0.20-src/src/Window/Widget/Output/glue_widget.cc        
2002-08-10 10:50:50.000000000 +0400
+++ TeXmacs-1.0.0.20-src-20021029/src/Window/Widget/Output/glue_widget.cc       
2002-11-03 22:38:13.000000000 +0300
@@ -23,8 +23,8 @@
   SI   minw, minh;    // minimal width and height in pixels

 public:
-  glue_widget_rep (display dis, bool hflag, bool vflag, int minw, int minh);
+  glue_widget_rep (display dis, bool hflag, bool vflag, SI minw, SI minh);
   operator tree ();

   void handle_get_size (get_size_event ev);
----------------------------------------------

Regards,
Igor V. Kovalenko    mailto: iko at crec dot mipt dot ru

--
Regards,
Igor V. Kovalenko    mailto: iko at crec dot mipt dot ru