Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Bugs Maximize Restore

Showing 18 results of 18

# Summary Milestone Status Owner Created Updated Priority
81 Quand on bascule le mode d'édition global/local avec le raccourci clavier alors l'état du bouton n'est pas mis à jour 2.0 open 2013-11-13 2013-11-13 5  
80 BSH exit(); sort brutalement 2.0 open 2013-11-12 2013-11-12 5  
79 Pas de traduction oui/non/annuler pour les JOption 2.0 open Vincent Belaïche 2013-11-12 2013-11-12 5  
78 warning message dialog after clicking "Mode use convex zone selection" button 2.0 open 2013-11-04 2013-11-04 5  
77 disabled access to some labels through localization files 2.0 open 2013-11-04 2013-11-04 5  
76 disabled closing Convex Zones, Attributes Editor, Toolkit Palette windows by cross button 1.6pre open 2013-11-04 2013-11-04 5  
75 drop-down menus in Preferences window not working 1.6pre open 2013-11-04 2013-11-04 5  
73 jpicedt/jpicedt/images_factory/help-de.SaveFileLayout.def needs translation to German 2.0 open Jobst Hoffmann 2013-07-28 2013-07-28 5  
71 java.lang.NullPointerException sur \put(x,y){\framebox(w,h){}} 2.0 open Vincent Belaïche 2013-07-21 2013-07-21 5  
70 Poor color naming palette import/export documentation for Pstricks/Tikz 2.0 open Jobst Hoffmann 2013-06-15 2013-06-16 5  
69 rotation of elements 2.0 open Vincent Belaïche 2013-06-14 2013-10-08 5  
64 Install Error on Rel 20130318 2.0 open 2013-04-06 2013-04-08 5  
39 Configuration commandes externes 2.0 open-accepted Jobst Hoffmann 2008-04-17 2013-03-18 5  
30 Some hotkeys not remembered None pending 2006-12-07 2013-02-05 5  
28 Parse error during special paste? None pending 2006-12-05 2013-02-07 5  
24 dvips problem 1.4pre pending 2005-12-13 2013-02-05 5  
18 pb with rounding value on vertical axis 1.4pre open 2005-03-10 2013-02-13 5  
3 Installing over a previous version None open 2002-09-03 2013-02-13 5  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
  • Priority
 
(applies to this page only)