User Tools

Site Tools


eclipse

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
eclipse [2021/07/12 22:20]
mstraub [Scroll bars hide content]
eclipse [2021/07/12 22:27] (current)
mstraub [Scroll bars too small]
Line 65: Line 65:
  
 <​code>​ <​code>​
-.scrollbar.vertical slider, +.scrollbar.vertical slider, scrollbar.vertical slider { 
-scrollbar.vertical slider { +    min-width: ​7px; 
-min-width: ​8px;+
 +.scrollbar.horizontal slider, scrollbar.horizontal slider { 
 +    min-height: 7px;
 } }
 </​code>​ </​code>​
 +
 ==== Autocompletion not working properly ===== ==== Autocompletion not working properly =====
  
eclipse.txt · Last modified: 2021/07/12 22:27 by mstraub