diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 26eca6d258b..b7c0c274c1f 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -4309,7 +4309,10 @@ decode_mode_spec (w, c, spec_width, maxwidth) | |||
| 4309 | 4309 | ||
| 4310 | case 'F': | 4310 | case 'F': |
| 4311 | /* %F displays the frame name. */ | 4311 | /* %F displays the frame name. */ |
| 4312 | if (!NILP (f->title)) | 4312 | /* Systems that can only display a single frame at a time should |
| 4313 | NOT replace the frame name with the (constant) frame title, | ||
| 4314 | since then they won't be able to tell which frame is that. */ | ||
| 4315 | if (FRAME_WINDOW_P (f) && !NILP (f->title)) | ||
| 4313 | return (char *) XSTRING (f->title)->data; | 4316 | return (char *) XSTRING (f->title)->data; |
| 4314 | if (f->explicit_name || ! FRAME_WINDOW_P (f)) | 4317 | if (f->explicit_name || ! FRAME_WINDOW_P (f)) |
| 4315 | return (char *) XSTRING (f->name)->data; | 4318 | return (char *) XSTRING (f->name)->data; |