diff options
author | sabetts <sabetts> | 2004-12-09 05:18:11 +0000 |
---|---|---|
committer | sabetts <sabetts> | 2004-12-09 05:18:11 +0000 |
commit | 8e91702fa625c2e7e01c7f7c3043b30036a4f87d (patch) | |
tree | e7ed9ee06d121ef7aab0f6460b343e5e086e849b /src/bar.c | |
parent | 14a4c1b72eaef4f92ce7276b18587885b0a088cb (diff) | |
download | ratpoison-8e91702fa625c2e7e01c7f7c3043b30036a4f87d.zip |
* src/messages.h (MESSAGE_NO_OTHER_WINDOW): remove padding spaces
(MESSAGE_NO_OTHER_FRAME): likewise
(MESSAGE_NO_MANAGED_WINDOWS): likewise
(MESSAGE_UNKNOWN_COMMAND): likewise
(MESSAGE_WINDOW_INFORMATION): likewise
(MESSAGE_RAISE_TRANSIENT): likewise
(MESSAGE_RAISE_WINDOW): likewise
(MESSAGE_MAP_TRANSIENT): likewise
(MESSAGE_MAP_WINDOW): likewise
(MESSAGE_WELCOME): likewise
(MESSAGE_FRAME_STRING): likewise
* src/main.c (init_defaults): set bar_x_padding to 4
* src/events.c (handle_signals): Remove padding space on all calls
to message and marked_message_printf.
* src/editor.c (editor_enter): Remove padding space on all calls
to message and marked_message_printf.
* src/actions.c: Remove padding space on all calls to message and
marked_message_printf.
* src/bar.c (get_mark_box): make the mark extend to the edge of
the box regardless of the bar padding.
Diffstat (limited to 'src/bar.c')
-rw-r--r-- | src/bar.c | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -418,7 +418,7 @@ get_mark_box (char *msg, int mark_start, int mark_end, start_line_beginning, end_line_beginning)); if (mark_start == 0 || start_pos_in_line == 0) - start = defaults.bar_x_padding; + start = 0; else start = XTextWidth (defaults.font, &msg[start_line_beginning], @@ -435,13 +435,13 @@ get_mark_box (char *msg, int mark_start, int mark_end, mark_end is at the end of a line. */ if (mark_end_is_new_line) { - *width = max_line_length(msg); + *width = max_line_length(msg) + defaults.bar_x_padding * 2; } else { *width = end - start; } - + *x = start; *y = (start_line - 1) * FONT_HEIGHT (defaults.font) + defaults.bar_y_padding; *height = (end_line - start_line + 1) * FONT_HEIGHT (defaults.font); |