Hi,
There is only one problem that I meet with the src/buffer.C. Please see
the attached patch file.
Jacek.
*** buffer.C.orig       Mon Dec 21 17:17:52 1998
--- buffer.C    Thu Dec 24 15:55:07 1998
***************
*** 949,955 ****
                                        inset = new InsetUrl(inscmd.getCommand());
                                } else if (inscmd.getCmdName() == "ref"
                                           || inscmd.getCmdName() == "pageref") {
!                                       if (!inscmd.getOptions().empty || 
!inscmd.getContents().empty()) {
                                                inset = new InsetRef(inscmd, this);
                                        }
                                        /* This condition comes from a temporary 
solution
--- 949,955 ----
                                        inset = new InsetUrl(inscmd.getCommand());
                                } else if (inscmd.getCmdName() == "ref"
                                           || inscmd.getCmdName() == "pageref") {
!                                       if (!inscmd.getOptions().empty() || 
!inscmd.getContents().empty()) {
                                                inset = new InsetRef(inscmd, this);
                                        }
                                        /* This condition comes from a temporary 
solution

Reply via email to