Changeset 462

Show
Ignore:
Timestamp:
12/12/09 14:09:03 (3 years ago)
Author:
joerg
Message:
 
Location:
java/JLatexEditor
Files:
18 modified

Legend:

Unmodified
Added
Removed
  • java/JLatexEditor/icons/buttons/arrow_down_highlight.tex

    r452 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \buttonhighlight 
    21      
     20    \buttonhighlight{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (4mm,8.5mm) rectangle (6mm,4mm); 
    2423    \fill [draw=none,fill=white] (2mm,5mm) -- (8mm,5mm) -- (5mm,1mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727} 
  • java/JLatexEditor/icons/buttons/arrow_down_press.tex

    r455 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \buttonpress 
    21      
     20    \buttonpress{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (4mm,8.5mm) rectangle (6mm,4mm); 
    2423    \fill [draw=none,fill=white] (2mm,5mm) -- (8mm,5mm) -- (5mm,1mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727} 
  • java/JLatexEditor/icons/buttons/arrow_down.tex

    r452 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \button 
    21      
     20    \button{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (4mm,8.5mm) rectangle (6mm,4mm); 
    2423    \fill [draw=none,fill=white] (2mm,5mm) -- (8mm,5mm) -- (5mm,1mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727} 
  • java/JLatexEditor/icons/buttons/arrow_up_highlight.tex

    r455 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \buttonhighlight 
    21      
     20    \buttonhighlight{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (4mm,1.5mm) rectangle (6mm,6mm); 
    2423    \fill [draw=none,fill=white] (2mm,5mm) -- (8mm,5mm) -- (5mm,9mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727} 
  • java/JLatexEditor/icons/buttons/arrow_up_press.tex

    r455 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \buttonpress 
    21      
     20    \buttonpress{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (4mm,1.5mm) rectangle (6mm,6mm); 
    2423    \fill [draw=none,fill=white] (2mm,5mm) -- (8mm,5mm) -- (5mm,9mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727} 
  • java/JLatexEditor/icons/buttons/arrow_up.tex

    r454 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \button 
    21      
     20    \button{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (4mm,1.5mm) rectangle (6mm,6mm); 
    2423    \fill [draw=none,fill=white] (2mm,5mm) -- (8mm,5mm) -- (5mm,9mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727} 
  • java/JLatexEditor/icons/buttons/close_highlight.tex

    r458 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \buttonredhighlight 
    21      
     20    \buttonredhighlight{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (2mm,7mm) -- (3mm,8mm) -- (8mm,3mm) -- (7mm,2mm) -- cycle; 
    2423    \fill [draw=none,fill=white] (2mm,3mm) -- (3mm,2mm) -- (8mm,7mm) -- (7mm,8mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727} 
  • java/JLatexEditor/icons/buttons/close_press.tex

    r458 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \buttonredpress 
    21      
     20    \buttonredpress{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (2mm,7mm) -- (3mm,8mm) -- (8mm,3mm) -- (7mm,2mm) -- cycle; 
    2423    \fill [draw=none,fill=white] (2mm,3mm) -- (3mm,2mm) -- (8mm,7mm) -- (7mm,8mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727} 
  • java/JLatexEditor/icons/buttons/close.tex

    r458 r462  
    1818\scalebox{5}{ 
    1919  \begin{tikzpicture}[very thick] 
    20     \buttonred 
    21      
     20    \buttonred{     
    2221    \begin{scope}[rounded corners=.5mm] 
    2322    \fill [draw=none,fill=white] (2mm,7mm) -- (3mm,8mm) -- (8mm,3mm) -- (7mm,2mm) -- cycle; 
    2423    \fill [draw=none,fill=white] (2mm,3mm) -- (3mm,2mm) -- (8mm,7mm) -- (7mm,8mm) -- cycle; 
    2524    \end{scope} 
     25    } 
    2626  \end{tikzpicture} 
    2727}