[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#9571: 24.0.50; user option to turn off bidi, please
From: |
Richard Stallman |
Subject: |
bug#9571: 24.0.50; user option to turn off bidi, please |
Date: |
Sat, 24 Sep 2011 08:28:39 -0400 |
Would this change in bidi_get_type suffice to implement non-bidi
display? (In addition, one needs to define the option
display-bidi-flag, etc.)
This is partly based on guessing, so maybe it is wrong. (I don't know
to test it.) But, if it is wrong, I think you would see in a second
what's wrong, and maybe you could make it right in another minute.
If it is really as easy as this, why say no?
=== modified file 'src/bidi.c'
*** src/bidi.c 2011-09-24 10:31:37 +0000
--- src/bidi.c 2011-09-24 10:34:31 +0000
***************
*** 115,120 ****
--- 115,123 ----
if (default_type == UNKNOWN_BT)
abort ();
+ if (NILP (Vdisplay_bidi_flag))
+ return default_type;
+
if (override == NEUTRAL_DIR)
return default_type;
--
Dr Richard Stallman
President, Free Software Foundation
51 Franklin St
Boston MA 02110
USA
www.fsf.org www.gnu.org
Skype: No way! That's nonfree (freedom-denying) software.
Use free telephony http://directory.fsf.org/category/tel/
- bug#9571: 24.0.50; user option to turn off bidi, please, (continued)
- bug#9571: 24.0.50; user option to turn off bidi, please, Stefan Monnier, 2011/09/24
- bug#9571: 24.0.50; user option to turn off bidi, please, Eli Zaretskii, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please, Štěpán Němec, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please, Juanma Barranquero, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please, Štěpán Němec, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please, Eli Zaretskii, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please, Stefan Monnier, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please, Eli Zaretskii, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please, Eli Zaretskii, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please, Eli Zaretskii, 2011/09/23
- bug#9571: 24.0.50; user option to turn off bidi, please,
Richard Stallman <=
- bug#9571: 24.0.50; user option to turn off bidi, please, Eli Zaretskii, 2011/09/24
bug#9571: 24.0.50; user option to turn off bidi, please, Jason Rumney, 2011/09/23