anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-25 19:07:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add GUI support for big delimiters variants without 'l', 'm' or 'r' endings.

Browse Source 
They differ from their cousins only for the space left around them.


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@34604 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Enrico Forestieri 2010-06-06 00:42:33 +00:00
parent 617af0f954
commit e0a5cda787
2 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/symbols
View File

@ -51,15 +51,19 @@ ldots dots none
vdots dots none vdots dots none
# big delimiters # big delimiters
big big none
bigl big none bigl big none
bigm big none bigm big none
bigr big none bigr big none
Big big none
Bigl big none Bigl big none
Bigm big none Bigm big none
Bigr big none Bigr big none
bigg big none
biggl big none biggl big none
biggm big none biggm big none
biggr big none biggr big none
Bigg big none
Biggl big none Biggl big none
Biggm big none Biggm big none
Biggr big none Biggr big none
@ -67,8 +71,10 @@ Biggr big none
# packages. No 'm' versions! # packages. No 'm' versions!
# See lucidabr.dtx for a possible implementation if you want to use these # See lucidabr.dtx for a possible implementation if you want to use these
# with other fonts. # with other fonts.
biggg big none
bigggl big none bigggl big none
bigggr big none bigggr big none
Biggg big none
Bigggl big none Bigggl big none
Bigggr big none Bigggr big none

6
src/mathed/InsetMathBig.cpp
View File

@ -47,9 +47,11 @@ InsetMathBig::size_type InsetMathBig::size() const
{ {
// order: big Big bigg Bigg biggg Biggg // order: big Big bigg Bigg biggg Biggg
// 0 1 2 3 4 5 // 0 1 2 3 4 5
char_type const c = name_[name_.size() - 1];
int const base_size = (c == 'l' || c == 'm' || c == 'r') ? 4 : 3;
return name_[0] == 'B' ? return name_[0] == 'B' ?
2 * (name_.size() - 4) + 1: 2 * (name_.size() - base_size) + 1:
2 * (name_.size() - 4); 2 * (name_.size() - base_size);
} }