|
#140
|
font problem after java update from 1.6.0_16-b01 to 1.6.0_22-b04
|
editor
|
|
0.3
|
defect
|
|
new
|
12/03/10
|
|
#18
|
let user set file properties in the head of the file
|
editor
|
|
0.3
|
task
|
|
new
|
01/13/10
|
|
#19
|
alt+1 should use the default compilation
|
general
|
|
0.3
|
task
|
|
new
|
01/13/10
|
|
#20
|
allow setting a default compilation method in the settings dialog
|
general
|
|
0.3
|
task
|
|
new
|
01/13/10
|
|
#46
|
write short installation guide for different operating systems
|
website
|
|
0.3
|
task
|
|
new
|
03/12/10
|
|
#180
|
need shortcut to jump back and forth to previous/next cursor position in history
|
editor
|
|
0.3
|
task
|
|
new
|
07/11/11
|
|
#65
|
popup "The following documents have been externally modified and reloaded" does not always disappear after some seconds
|
general
|
0.1
|
0.3
|
defect
|
|
new
|
06/07/10
|
|
#24
|
mark differences to last svn version already in the editor by coloring the lines
|
general
|
|
0.3
|
enhancement
|
|
new
|
01/13/10
|
|
#90
|
wish for the enhancement of the functionality of "Find"
|
general
|
|
0.3
|
enhancement
|
stefan
|
assigned
|
09/05/10
|
|
#4
|
test the editor under windows
|
general
|
|
0.3
|
task
|
|
new
|
12/06/09
|
|
#10
|
make style easy adjustable
|
editor
|
|
0.3
|
task
|
|
new
|
12/23/09
|
|
#37
|
intelligent code completion for regularly appearing terms like \item in an itemize environment
|
editor
|
|
0.3
|
task
|
|
new
|
02/24/10
|
|
#39
|
block selection mode
|
editor
|
|
0.3
|
task
|
|
new
|
02/24/10
|
|
#42
|
automatic import of packages when a command is not found by the compiler
|
editor
|
|
0.3
|
task
|
|
new
|
02/24/10
|
|
#62
|
generalize handling of document properties and allow easy adaption
|
general
|
|
0.3
|
task
|
|
new
|
05/24/10
|
|
#63
|
allow easy and jar independent overriding of every configuration file
|
general
|
|
0.3
|
task
|
stefan
|
accepted
|
05/24/10
|
|
#72
|
implement "find in project" as control+shift+f
|
general
|
|
0.3
|
task
|
|
new
|
06/28/10
|
|
#74
|
implement quick open file via control+shift+n
|
general
|
|
0.3
|
task
|
|
new
|
06/29/10
|
|
#75
|
implement quick jump to label via control+n?
|
general
|
|
0.3
|
task
|
|
new
|
06/29/10
|
|
#82
|
allow setting line markers (e.g. via control+shift+<number>)
|
editor
|
|
0.3
|
task
|
|
new
|
06/30/10
|
|
#83
|
allow setting line bookmarks (via control+shift+b)
|
editor
|
|
0.3
|
task
|
|
new
|
06/30/10
|
|
#84
|
implement split screen like in kate and other editors
|
editor
|
|
0.3
|
task
|
|
new
|
06/30/10
|
|
#92
|
open password dialog when svn requests authentication against gnome-keyring
|
general
|
|
0.3
|
task
|
|
new
|
09/06/10
|
|
#94
|
consider to use svnkit for svn integration
|
general
|
|
0.3
|
task
|
|
new
|
09/10/10
|
|
#104
|
add facility to export tex project into a single, cleaned up .tex file
|
general
|
|
0.3
|
task
|
|
new
|
09/24/10
|
|
#117
|
would be great to have a grammer checker
|
editor
|
|
0.3
|
task
|
|
new
|
10/12/10
|
|
#182
|
add quick help for environments, documentclasses and packages
|
editor
|
|
0.3
|
task
|
stefan
|
assigned
|
07/24/11
|
|
#184
|
split out spell checker code as external library
|
general
|
|
0.3
|
task
|
|
new
|
08/09/11
|
|
#13
|
anti-aliasing adjustement
|
editor
|
|
0.3
|
defect
|
rena
|
new
|
01/03/10
|
|
#66
|
sometimes the error list remains empty although errors are shown in the tree
|
general
|
|
0.3
|
defect
|
|
new
|
06/18/10
|
|
#11
|
slow rendering of tikz plot
|
editor
|
|
0.3
|
enhancement
|
|
reopened
|
01/03/10
|
|
#34
|
catch x11 exception
|
general
|
|
0.3
|
enhancement
|
|
new
|
02/09/10
|
|
#179
|
rethink layout of main page
|
website
|
|
0.3
|
enhancement
|
|
new
|
07/11/11
|
|
#205
|
do not collapse nodes in structure view when saving project
|
general
|
0.2
|
0.3
|
enhancement
|
|
new
|
12/06/11
|
|
#78
|
implement renaming of file names by pressing f2 or shift+f6 within an \input{} command
|
editor
|
|
0.3
|
task
|
|
new
|
06/29/10
|
|
#188
|
catch FileNotFoundExceptions when executing system commands
|
general
|
0.2
|
0.3
|
task
|
|
new
|
09/27/11
|