/[gzz]/gzz/gzz/view/LastOpDecorator.java
ViewVC logotype

Diff of /gzz/gzz/view/LastOpDecorator.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.16 by benja, Wed Oct 9 09:10:08 2002 UTC revision 1.17 by benja, Thu Oct 10 15:57:42 2002 UTC
# Line 63  String rcsid = "$Id$"; Line 63  String rcsid = "$Id$";
63    
64          if(dbg) pa("fallback.binder.directOp: "+fallback.binder.directOp);          if(dbg) pa("fallback.binder.directOp: "+fallback.binder.directOp);
65    
66          if(fallback.binder.errstring != null) {          if(fallback.binder.lastClientException != null) {
67              ch.addBox(text(fallback.binder.errstring));              fallback.binder.lastClientException.renderApology(ch, style);
68          } else if(fallback.mode == fallback.NORMAL) {          } else if(fallback.mode == fallback.NORMAL) {
69              switch(fallback.binder.directOp) {              switch(fallback.binder.directOp) {
70                  case DefaultBinder.NONE: return;                  case DefaultBinder.NONE: return;

Legend:
Removed from v.1.16  
changed lines
  Added in v.1.17

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26