annotate etc/ETAGS.EBNF @ 5043:d0c14ea98592

various frame-geometry fixes -------------------- ChangeLog entries follow: -------------------- src/ChangeLog addition: 2010-02-15 Ben Wing <ben@xemacs.org> * EmacsFrame.c: * EmacsFrame.c (EmacsFrameResize): * console-msw-impl.h: * console-msw-impl.h (struct mswindows_frame): * console-msw-impl.h (FRAME_MSWINDOWS_TARGET_RECT): * device-tty.c: * device-tty.c (tty_asynch_device_change): * event-msw.c: * event-msw.c (mswindows_wnd_proc): * faces.c (Fface_list): * faces.h: * frame-gtk.c: * frame-gtk.c (gtk_set_initial_frame_size): * frame-gtk.c (gtk_set_frame_size): * frame-msw.c: * frame-msw.c (mswindows_init_frame_1): * frame-msw.c (mswindows_set_frame_size): * frame-msw.c (mswindows_size_frame_internal): * frame-msw.c (msprinter_init_frame_3): * frame.c: * frame.c (enum): * frame.c (Fmake_frame): * frame.c (adjust_frame_size): * frame.c (store_minibuf_frame_prop): * frame.c (Fframe_property): * frame.c (Fframe_properties): * frame.c (Fframe_displayable_pixel_height): * frame.c (Fframe_displayable_pixel_width): * frame.c (internal_set_frame_size): * frame.c (Fset_frame_height): * frame.c (Fset_frame_pixel_height): * frame.c (Fset_frame_displayable_pixel_height): * frame.c (Fset_frame_width): * frame.c (Fset_frame_pixel_width): * frame.c (Fset_frame_displayable_pixel_width): * frame.c (Fset_frame_size): * frame.c (Fset_frame_pixel_size): * frame.c (Fset_frame_displayable_pixel_size): * frame.c (frame_conversion_internal_1): * frame.c (get_frame_displayable_pixel_size): * frame.c (change_frame_size_1): * frame.c (change_frame_size): * frame.c (generate_title_string): * frame.h: * gtk-xemacs.c: * gtk-xemacs.c (gtk_xemacs_size_request): * gtk-xemacs.c (gtk_xemacs_size_allocate): * gtk-xemacs.c (gtk_xemacs_paint): * gutter.c: * gutter.c (update_gutter_geometry): * redisplay.c (end_hold_frame_size_changes): * redisplay.c (redisplay_frame): * toolbar.c: * toolbar.c (update_frame_toolbars_geometry): * window.c: * window.c (frame_pixsize_valid_p): * window.c (check_frame_size): Various fixes to frame geometry to make it a bit easier to understand and fix some bugs. 1. IMPORTANT: Some renamings. Will need to be applied carefully to the carbon repository, in the following order: -- pixel_to_char_size -> pixel_to_frame_unit_size -- char_to_pixel_size -> frame_unit_to_pixel_size -- pixel_to_real_char_size -> pixel_to_char_size -- char_to_real_pixel_size -> char_to_pixel_size -- Reverse second and third arguments of change_frame_size() and change_frame_size_1() to try to make functions consistent in putting width before height. -- Eliminate old round_size_to_char, because it didn't really do anything differently from round_size_to_real_char() -- round_size_to_real_char -> round_size_to_char; any places that called the old round_size_to_char should just call the new one. 2. IMPORTANT FOR CARBON: The set_frame_size() method is now passed sizes in "frame units", like all other frame-sizing functions, rather than some hacked-up combination of char-cell units and total pixel size. This only affects window systems that use "pixelated geometry", and I'm not sure if Carbon is one of them. MS Windows is pixelated, X and GTK are not. For pixelated-geometry systems, the size in set_frame_size() is in displayable pixels rather than total pixels and needs to be converted appropriately; take a look at the changes made to mswindows_set_frame_size() method if necessary. 3. Add a big long comment in frame.c describing how frame geometry works. 4. Remove MS Windows-specific character height and width fields, duplicative and unused. 5. frame-displayable-pixel-* and set-frame-displayable-pixel-* didn't use to work on MS Windows, but they do now. 6. In general, clean up the handling of "pixelated geometry" so that fewer functions have to worry about this. This is really an abomination that should be removed entirely but that will have to happen later. Fix some buggy code in frame_conversion_internal() that happened to "work" because it was countered by oppositely buggy code in change_frame_size(). 7. Clean up some frame-size code in toolbar.c and use functions already provided in frame.c instead of rolling its own. 8. Fix check_frame_size() in window.c, which formerly didn't take pixelated geometry into account.
author Ben Wing <ben@xemacs.org>
date Mon, 15 Feb 2010 22:14:11 -0600
parents a827a51c3241
children 308d34e9f07d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2225
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
1 -*- indented-text -*-
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
2
3876
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
3 See the end of this file for copyright information.
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
4
2225
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
5 This file contains two sections:
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
6
2554
94f848eb8e4b [xemacs-hg @ 2005-02-03 18:09:26 by james]
james
parents: 2325
diff changeset
7 1) An EBNF (Extended Backus-Naur Form) description of the format of
2225
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
8 the tags file created by etags.c and interpreted by etags.el;
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
9 2) A discussion of tag names and implicit tag names.
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
10
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
11 ====================== 1) EBNF tag file description =====================
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
12
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
13 Productions created from current behaviour to aid extensions
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
14 Francesco Potorti` <pot@gnu.org> 2002
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
15 ----------------
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
16
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
17 FF ::= #x0c /* tag section starter */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
18
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
19 LF ::= #x0a /* line terminator */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
20
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
21 DEL ::= #x7f /* pattern terminator */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
22
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
23 SOH ::= #x01 /* name terminator */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
24
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
25 regchar ::= [^#x0a#x0c#x7f] /* regular character */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
26
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
27 regstring ::= { regchar } /* regular string */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
28
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
29 unsint ::= [0-9] { [0-9] } /* non-negative integer */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
30
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
31
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
32
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
33 tagfile ::= { tagsection } /* a tags file */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
34
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
35 tagsection ::= FF LF ( includesec | regularsec ) LF
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
36
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
37 includesec ::= filename ",include" [ LF fileprop ]
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
38
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
39 regularsec ::= filename "," [ unsint ] [ LF fileprop ] { LF tag }
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
40
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
41 filename ::= regchar regstring /* a file name */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
42
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
43 fileprop ::= "(" regstring ")" /* an elisp alist */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
44
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
45 tag ::= directtag | patterntag
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
46
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
47 directtag ::= DEL realposition /* no pattern */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
48
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
49 patterntag ::= pattern DEL [ tagname SOH ] position
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
50
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
51 pattern ::= regstring /* a tag pattern */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
52
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
53 tagname ::= regchar regstring /* a tag name */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
54
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
55 position ::= realposition | "," /* charpos,linepos */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
56
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
57 realposition ::= "," unsint | unsint "," | unsint "," unsint
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
58
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
59 ==================== end of EBNF tag file description ====================
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
60
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
61
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
62
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
63 ======================= 2) discussion of tag names =======================
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
64
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
65 - WHAT ARE TAG NAMES
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
66 Tag lines in a tags file are usually made from the above defined pattern
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
67 and by an optional tag name. The pattern is a string that is searched
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
68 in the source file to find the tagged line.
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
69
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
70 - WHY TAG NAMES ARE GOOD
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
71 When a user looks for a tag, Emacs first compares the tag with the tag
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
72 names contained in the tags file. If no match is found, Emacs compares
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
73 the tag with the patterns. The tag name is then the preferred way to
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
74 look for tags in the tags file, because when the tag name is present
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
75 Emacs can find a tag faster and more accurately. These tag names are
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
76 part of tag lines in the tags file, so we call them "explicit".
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
77
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
78 - WHY IMPLICIT TAG NAMES ARE EVEN BETTER
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
79 When a tag line has no name, but a name can be deduced from the pattern,
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
80 we say that the tag line has an implicit tag name. Often tag names are
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
81 redundant; this happens when the name of a tag is an easily guessable
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
82 substring of the tag pattern. We define a set of rules to decide
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
83 whether it is possible to deduce the tag name from the pattern, and make
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
84 an unnamed tag in those cases. The name deduced from the pattern of an
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
85 unnamed tag is the implicit name of that tag.
2325
9d8bfee6e672 [xemacs-hg @ 2004-10-07 14:51:11 by james]
james
parents: 2225
diff changeset
86 When the user looks for a tag, and Emacs finds no explicit tag names
2225
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
87 that match it, Emacs then looks for an tag whose implicit tag name
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
88 matches the request. etags.c uses implicit tag names when possible, in
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
89 order to reduce the size of the tags file.
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
90 An implicit tag name is deduced from the pattern by discarding the
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
91 last character if it is one of ` \f\t\n\r()=,;', then taking all the
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
92 rightmost consecutive characters in the pattern which are not one of
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
93 those.
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
94
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
95 ===================== end of discussion of tag names =====================
3876
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
96
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
97 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
98 Free Software Foundation, Inc.
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
99
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
100 COPYING PERMISSIONS:
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
101
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
102 This document is free software; you can redistribute it and/or modify
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
103 it under the terms of the GNU General Public License as published by
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
104 the Free Software Foundation; either version 2 of the License, or
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
105 (at your option) any later version.
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
106
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
107 This program is distributed in the hope that it will be useful,
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
108 but WITHOUT ANY WARRANTY; without even the implied warranty of
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
109 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
110 GNU General Public License for more details.
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
111
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
112 You should have received a copy of the GNU General Public License
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
113 along with this program; if not, write to the Free Software
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
114 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA